11

次のコードは、gcc 4.7.2 と MSVC-11.0 の両方でコンパイルされます。

template <typename T>
void foo(T bar) {}

template <typename T, typename... Args>
void foo(T bar, Args... args) {}

int main()
{
    foo(0); // OK
}

なんで？私はそれがあいまいな呼び出しであるに違いないと思います:

ISO/IEC 14882:2011

14.5.6.2 関数テンプレートの部分的な順序 [temp.func.order]

5 ...

[ Example:

template<class T, class... U> void f(T, U...); // #1

template<class T > void f(T); // #2

template<class T, class... U> void g(T*, U...); // #3

template<class T > void g(T); // #4

void h(int i) {

f(&i); // error: ambiguous

g(&i); // OK: calls #3

}

—end example ]
4

2 に答える 2

13

これは、現在の標準では欠陥と見なされます。標準自体でさえ、非可変個のテンプレートが可変個のテンプレートの前に部分的に順序付けられることに依存していますstd::common_type。

§20.9.7.6 [meta.trans.other] p3

ネストされた typedefcommon_type::typeは、次のように定義されます。

template <class ...T> struct common_type;

template <class T>
struct common_type<T> {
  typedef T type;
};

template <class T, class U>
struct common_type<T, U> {
  typedef decltype(true ? declval<T>() : declval<U>()) type;
};

template <class T, class U, class... V>
struct common_type<T, U, V...> {
  typedef typename common_type<typename common_type<T, U>::type, V...>::type type;
};

具体的にはcommon_type<T, U>対common_type<T, U, V...>。

于 2012-12-22T17:55:26.150 に答える
3

そうです、その通りです！これはコンパイラの「機能」であり、委員会がissue #1395でこのケースを受け入れるべきであると提案したため、おそらく意図的なものであり、将来の標準 (または TR) ではそうなる可能性が高いと思われます。なれ。

于 2012-12-22T17:57:37.673 に答える