const_forward在C中的可选实现中做了什么？

发布时间：2020-12-16 10:07:17 所属栏目：百科来源：网络整理

导读：嗨我在 here看到std :: optional实现之一,我发现这段代码让我感到困惑： // workaround: std utility functions aren't constexpr yettemplate class T inline constexpr T constexpr_forward(typename std::remove_referenceT::type t) noexcept{ return st

嗨我在 here看到std :: optional实现之一,我发现这段代码让我感到困惑：

// workaround: std utility functions aren't constexpr yet
template <class T> inline constexpr T&& constexpr_forward(typename 
std::remove_reference<T>::type& t) noexcept
{
    return static_cast<T&&>(t);
}

所以我不会通过以下方式理解这一点：

> typename在这做什么？只是声明以下部分是一种类型？
>为什么我们需要std :: remove_reference？我们没有在类型&中添加引用.部分？
>“std实用功能还不是constexpr”是什么意思？这个函数如何使它们成为constexpr？它的主体只是一个static_cast.
>此函数在许多构造函数中使用,它看起来像这样：template< class ... Args>
constexpr storage_t(Args&& … args)：value_(constexpr_forward< Args>(args)…){},那么它对args做了什么？

非常感谢.

解决方法

template <class T> inline constexpr T&& constexpr_forward(typename 
std::remove_reference<T>::type& t) noexcept
{
    return static_cast<T&&>(t);
}

What does typename do here? Just to declare the following part is a type?

std :: remove_reference< T> :: type是一个依赖类型,它取决于模板参数T,因此我们需要typename来告诉编译器我们正在尝试使用dependent-name,

Why do we need std::remove_reference here? Didn’t we add the reference back in the type& part?

如果您在here中检查此实用程序功能的示例用法

....
template <class... Args> explicit constexpr constexpr_optional_base(in_place_t,Args&&... args)
      : init_(true),storage_(constexpr_forward<Args>(args)...) {}
...

你可以看到,一个可变参考类型被用作constexpr_foward< Args>(args)的显式模板参数….这将保留该类型的value category.当任何参数是引用时,就好像我们使用constexpr_forward< Arg01&>(arg01)调用该实用程序函数一样.并且该模板的实例化将是

inline constexpr Arg01&&& constexpr_forward(Arg01& t) noexcept
{
    return static_cast<Arg01&&&>(t);
}

到了reference collapsing rule,我们有

inline constexpr Arg01& constexpr_forward(Arg01& t) noexcept
{
    return static_cast<Arg01&>(t);
}

实际上,删除引用应该是多余的(阅读参考折叠);

What does “std utility functions are not constexpr yet” mean? How does this function make them constexpr? The body of it is just a static_cast.

它只是forwarding constexpr函数和构造函数中的非constexpr函数.

This function is used in a number of constructors and it looks like this: template <class... Args> constexpr storage_t( Args&&... args ) : value_(constexpr_forward<Args>(args)...) {},so what does it do here to args?

基本上如上所述..

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!