テンプレートパラメータにラムダ関数を使用することはできますか？

Question

私はstd :: unordered_mapを見ていて、文字列をキーとして使用したい場合は、ファンクタを含むクラスを作成する必要があることがわかりました。

好奇心で、私はラムダがこれの代わりに使用できるかどうか疑問に思っていました。ここで

は、作業元です：

std::unordered_map<string const, int, [](string const& key) ->size_t {return key[0];}> m = {{ "a", 1 }}; 

次のエラーで失敗しました：ここ

struct hf 
{ 
    size_t operator()(string const& key) const 
    { 
    return key[0]; // some bogus simplistic hash. :) 
    } 
} 

std::unordered_map<string const, int, hf> m = {{ "a", 1 }}; 

は私の試みだ

エラーを考える

exec.cpp: In lambda function: 
exec.cpp:44:77: error: ‘key’ cannot appear in a constant-expression 
exec.cpp:44:82: error: an array reference cannot appear in a constant-expression 
exec.cpp: At global scope: 
exec.cpp:44:86: error: template argument 3 is invalid 
exec.cpp:44:90: error: invalid type in declaration before ‘=’ token 
exec.cpp:44:102: error: braces around scalar initializer for type ‘int’ 

、それはように思わlambaはファンクタとは十分に異なり、定数式ではありません。あれは正しいですか？

Answer 1

ラムダ関数を渡す方法は次のとおりです。

は

auto hf = [](string const& key)->size_t { return key[0]; }; 

unordered_map<string const, int, decltype(hf)> m (1, hf); 
           ^^^^^^^^^^^^  ^^ 
           passing type  object 

decltype(hf)の出力は、（それが=deleteによって削除されます）デフォルトコンストラクタを持たないクラス型です。したがって、λオブジェクトを構築するには、unordered_mapのコンストラクタでオブジェクトを渡す必要があります。