std :: list :: remove_if एक सामान्य लैम्ब्डा

Question

के साथ संयुक्त होने पर पागल हो जाता है मुझे लगता है कि मुझे लगता है कि जीसीसी में एक बग के कारण मुझे कोई समस्या है।
वैसे भी, कोई समस्या खोलने से पहले, मैं निश्चित रूप से सुनिश्चित करना चाहता हूं।

#include<algorithm> 
#include<list> 

template<typename U> 
struct S { 
    using FT = void(*)(); 
    struct T { FT func; }; 

    template<typename> 
    static void f() { } 

    std::list<T> l{ { &f<int> }, { &f<char> } }; 

    void run() { 
     l.remove_if([](const T &t) { return t.func == &f<int>; }); // (1) 
     l.remove_if([](const auto &t) { return t.func == &f<int>; }); // (2) 
    } 
}; 

int main() { 
    S<void> s; 
    s.run(); 
} 

बजना v3.9 compiles both (1) and (2) अपेक्षा के अनुरूप:

नीचे कोड पर विचार करें।
जीसीसी v6.2 compiles (1), लेकिन यह doesn't compile (2) है।
से त्रुटि आई है:

error: 'f' was not declared in this scope

इसके अलावा, ध्यान दें के रूप में यह इस प्रकार है कि जीसीसी compiles (2) यह संशोधित किया गया है यदि:

l.remove_if([](const auto &t) { return t.func == &S<U>::f<int>; }); // (2) 

जहाँ तक मुझे पता है, const auto &const T & के बजाय का उपयोग कर बदलाव नहीं होना चाहिए इस मामले में व्यवहार।

क्या यह जीसीसी का एक बग है?

Answer 1

प्रति [expr.prim.lambda]:

8 - [...] [For] purposes of name lookup (3.4) [...] the compound-statement is considered in the context of the lambda-expression. [...]

MCVE:

template<int> 
struct S { 
    template<int> static void f(); 
    S() { void(*g)(char) = [](auto) { f<0>; }; } 
}; 
S<0> s; 

लैम्ब्डा अभिव्यक्ति के संदर्भ के लिए यौगिक बयान उत्थापन एक स्पष्ट रूप से वैध कार्यक्रम देता है:

template<int> 
struct S { 
    template<int> static void f(); 
    S() { f<0>; } 
}; 
S<0> s; 

तो हाँ, यह एक है जीसीसी में बग