¿Qué son las reglas de búsqueda cuando se llama a la función de lambda?

Question

El siguiente ejemplo demuestra el problema que encontramos en 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: error C3861: 'foo': identificador no encontrado

Si califico la llamada a foo: Foo::foo(1); entonces este ejemplo compila con una advertencia: advertencia C4573: el uso de 'Foo::foo' requiere que el compilador capture 'this' pero el modo de captura predeterminado actual no lo permite

¿Qué dice la norma sobre este caso? ¿Debería encontrar un nombre no calificado? ¿El nombre calificado requiere capturar this?

Answer 1

Microsoft ha estado observando este problema en varios casos. Ver:

Scope Resolution with lambdas interferes with namespace and type resolution

Template resolution in lambdas

Como has encontrado a cabo, la resolución explícita que permite encontrar el nombre. Hay una advertencia adicional sobre esto que también es un error del compilador (la resolución del nombre no requiere acceso a esto, aunque puedo ver cómo una implementación del compilador podría requerirlo), aunque es un error por separado. Microsoft ha confirmado que se trata de un error y aparentemente ha preparado una solución para la próxima versión.

Answer 2

Lo siguiente compila bien. Me parece que esto solo debe ser un error VS con plantillas.

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