std :: list :: remove_ifが一般的なラムダと組み合わされて狂ってしまう

Question

GCCのバグが原因だと思う問題が見つかりました。
とにかく、問題を開く前に、私は確信しています。予想通り

#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)：

は、以下のコードを検討してください。
GCCv6.2 compiles (1)ですが、doesn't compile (2)です。
返されるエラーは、次のとおり

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

を私の知る限り、変えるべきではないconst auto &代わりconst T &の使用：

error: 'f' was not declared in this scope

また、それは次のようにGCC compiles (2)は、それが変更された場合注意しますこの場合の動作

GCCのバグですか？

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; 

はい、これはgccのバグ。