なぜ型のconstexprの一部ですか？

Question

なぜ行のconstexprの部分ですか？私はそれがインラインのようなものだと思った。 実際のタイプfはgにありますか？

この作品：

void f() 
{ 
    auto f = []() { return 42; }; 
    auto p = f; 

    static_assert(std::is_same_v<decltype(f), decltype(p)>); 
} 

が、これはしません：

void g() 
{ 
    constexpr auto f = []() { return 42; }; 
    auto p = f; 

    static_assert(std::is_same_v<decltype(f), decltype(p)>); 
} 

https://godbolt.org/g/Di4SJ5

Answer 1

constexprがオブジェクトconstを作るので、pがある一方でfのタイプは、constthe_lambda_typeです非const（これはewオブジェクトはfからコピーされました）。

オブジェクト宣言で使用されるconstexpr指定子は、constを意味します。

次のstatic_assertは問題ありません。

static_assert(std::is_same_v<std::remove_const_t<decltype(f)>, decltype(p)>); 

ところで：

gでfの実際の型は何ですか？あなたは、例えば

constexpr auto f = []() { return 42; }; 
auto p = f; 

TD<decltype(f)> td1; 
TD<decltype(p)> td2; 

そのような

template <typename> 
struct TD; 

として、コンパイルエラーメッセージから実数型を取得するには、未定義のクラステンプレートを使用することができます

prog.cc:14:21: error: implicit instantiation of undefined template 'TD<const (lambda at prog.cc:9:24)>' 
    TD<decltype(f)> td1; 
        ^
prog.cc:15:21: error: implicit instantiation of undefined template 'TD<(lambda at prog.cc:9:24)>' 
    TD<decltype(p)> td2; 

、あなたは違いが表示されます：clangのエラーメッセージは次のようになります。