可変引数テンプレート：グラムとエラー++が、可変引数テンプレート、クラス、関数やラムダで遊んでいる間打ち鳴らす++

Question

で実行している、（from here）私はg++で実行ないながら、次のコードは、clang++で実行されていることがわかった：

g++についてはcoliru

：clangについては

#include <iostream> 
#include <string> 
using namespace std; 
template <class... F> 
struct overload_set : F... 
{ 
    overload_set(F... f) : F(f)... {} 
}; 
template <class... F> 
auto overload(F... f) 
{ 
    return overload_set<F...>(f...); 
} 
int main() 
{ 
    auto func = overload (
     [](int &val) { val *= 2; }, 
     [](string &arg) { arg += arg; }, 
     [](char &c) { c = 'x'; } 
     ); 
    int val = 10; 
    string str = "stackoverflow"; 
    char ch = 's'; 
    cout << val << " : " << str << " : " << ch << endl; 
    func(val); 
    func(str); 
    func(ch); 
    cout << val << " : " << str << " : " << ch << endl; 
    return 0; 
} 

coliru

g++は、func(val),func(str)およびfunc(c)の場合、あいまいな数字を示しています（operator()）。私はoperator()がそれぞれ異なる引数を持っているのであいまいであってはならないと思う。

g++の問題点を教えてください。

Answer 1

これは、lambdas、variadicテンプレート、演算子、または高度なC++ 1 {xy}のものとはほとんど関係がありません。のは、単純化してみましょう：

struct foo 
{ 
    void func(int&){} 
}; 
struct bar 
{ 
    void func(char&){} 
}; 

struct test : foo, bar {}; 

int main() 
{ 
    test t; 
    int i = 1; 
    char c = 'a'; 
    t.func(i); 
    t.func(c); 
} 

これはg++かclang++のいずれかでコンパイルに失敗しました。これは言語がどのように動作するように指定されているので、どちらも良いことです。オペレータが呼び出された方法に応じ

我々はoperator()にfuncを変更する場合は、g++はプログラムを拒否し続けたがclang++、それを受け入れるか拒否のいずれか、：

t.operator()(c); // rejected 
t(c);   // accepted 

私に打ち鳴らすのバグのように見えます。

コンパイル上記のコードを作成するためには、非常に小さな変更が必要とされている：

struct test : foo, bar { 
    using foo::func; 
    using bar::func; 
}; 

は今、私が使用してディレクティブでパック拡張作業を行うための方法が分からない、またはそれが実際に可能かどう。

template <class... F> struct overload_set; 

template <> struct overload_set<> {}; 

template <class F> struct overload_set<F> : F { 
    using F::operator(); 
    overload_set(F f) : F(f) {} 
}; 

template <class F, class... Fs> 
struct overload_set<F, Fs...> : F, overload_set<Fs...> 
{ 
    overload_set(F f, Fs... fs) : F(f), overload_set<Fs...>(fs...) {} 
    using F::operator(); 
    using overload_set<Fs...>::operator(); 
}; 

この変更により、コードがg++とclang++の両方でコンパイルします。しかし、回避策があります。