1

何か間違ったことをしているのか、それともコンパイラのバグなのか疑問に思っています。Windows 用 Intel C++ Composer XE 2011 SP1 (または現在最新のアップデート 6) を使用しています。コード内のコメント行を参照してください。

#include <tchar.h>
#include <iostream>
#include <conio.h>

template <typename ...T>
struct first_va_arg {};

template <typename T0, typename ...T_>
struct first_va_arg<T0, T_...> {
    typedef T0    type;
};

template <typename ...T>
inline first_va_arg<T...>::type getFirstArgTypeDefaultValue( const T& ...values )
{
//Next line causes error: nontype "first_va_arg<T...>::type [with T=<T...>]" is not a type name
    typedef first_va_arg<T...>::type    FirstArgT;
    return FirstArgT();
//It works correctly if you comment out the above two lines and uncomment the single line below
    //return first_va_arg<T...>::type();
}


int _tmain(int argc, _TCHAR* argv[])
{
    std::cout << getFirstArgTypeDefaultValue(5.67, 32) << std::endl;
    _getch();
    return 0;
}
4

1 に答える 1

3

依存する名前があるので、次のように言う必要がありますtypename。

template <typename ...T> inline typename first_va_arg<T...>::type getFirstArgTypeDefaultValue( const T& ...values )
//                              ^^^^^^^^
{
  typedef typename first_va_arg<T...>::type FirstArgT;
  //..
}

パラメータがない場合の基本ケースがないことに注意してください。おそらく部分的な特殊化をやめて、プライマリ テンプレートを次のように宣言するだけです。

template <typename T, typename...> struct first_va_arg  { typedef T type; };

次に、 と言うとfirst_va_arg<>::type、「存在しない名前」エラーは発生しませんが、より意味のある「テンプレートパラメーターの不一致」が発生する可能性があります。君による。または、プライマリ テンプレートのみを宣言し、未定義のままにすることもできます。

于 2011-10-23T21:54:27.910 に答える