È possibile utilizzare una funzione lambda per un parametro template?

Question

Stavo guardando std :: unordered_map e ho visto che se volevo usare una stringa come chiave, dovevo creare una classe contenente un functor.

Per curiosità, mi chiedevo se un lambda potesse essere usato al posto di questo.

Ecco l'originale lavoro:

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 }}; 

Ecco il mio tentativo:

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

che non è riuscito con i seguenti errori:

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’ 

Attribuite gli errori, sembrerebbe che la lamba è abbastanza diverso da un functor che non lo rende un'espressione costante. È corretto?

Answer 1

Il modo per superare la funzione lambda è:

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

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

L'uscita di decltype(hf) è un tipo di classe che non ha costruttore di default (è eliminato da =delete). Quindi, è necessario passare l'oggetto dal costruttore di unordered_map per consentirgli di costruire l'oggetto lambda.