Quali sono le regole di ricerca quando si chiama function da lambda?

Question

L'esempio seguente dimostra il problema che ho incontrato in VC++ 2010:

class Foo 
{ 
    template<class T> 
    static T foo(T t) { return t; } 

public: 
    void test() 
    { 
     auto lambda = []() { return foo(1); }; // call to Foo::foo<int> 
     lambda(); 
    } 
}; 

VC++ produce: errore C3861: 'foo': identificatore non trovato

Se sono ammesso la chiamata a foo: Foo::foo(1); allora questo esempio compila con un avviso: avviso C4573: l'utilizzo di 'Foo::foo' richiede al compilatore di acquisire 'this' ma la modalità di acquisizione predefinita corrente non lo consente

Che cosa dice lo standard su questo caso? Dovrebbe essere trovato il nome non qualificato? Il nome qualificato richiede l'acquisizione di this?

Answer 1

Microsoft ha riscontrato questo problema in diversi casi. Vedi:

Scope Resolution with lambdas interferes with namespace and type resolution

Template resolution in lambdas

Come hai scoperto, risoluzione esplicita gli permette di trovare il nome. C'è un ulteriore avvertimento su questo che è anche un errore del compilatore (la risoluzione dei nomi non richiede l'accesso a questo, anche se posso vedere come l'implementazione di un compilatore potrebbe richiederlo) - si tratta comunque di un bug separato. Microsoft ha confermato che si tratta di un bug e apparentemente ha preparato una correzione per la prossima versione.

Answer 2

Quanto segue compila bene. Mi sembra che questo deve essere solo un bug VS con i modelli.

struct Foo { 
    static void foo() {} 
    void bar() { 
     auto f = []() { foo(); }; 
     f(); 
    } 
};