15

次のコードを検討してください。

template < typename T >
struct A
{
    struct B { };
};

template < typename T >
void f( typename A<T>::B ) { }

int main()
{
    A<int>::B x;
    f( x );         // fails for gcc-4.1.2
    f<int>( x );    // passes
    return 0;
}

したがって、ここで gcc-4.1.2 では、テンプレート引数をf明示的に指定する必要があります。これは基準を満たしていますか？GCC の新しいバージョンでは、この問題は修正されていますか? int呼び出し中に明示的に指定しないようにするにはどうすればよいfですか?

更新: ここに回避策があります。

#include <boost/static_assert.hpp>
#include <boost/type_traits/is_same.hpp>

template < typename T >
struct A
{
    typedef T argument;
    struct B { typedef A outer; };
};

template < typename T >
void f( typename A<T>::B ) { }

template < typename Nested >
void g( Nested )
{   
    typedef typename Nested::outer::argument TT;
    BOOST_STATIC_ASSERT( (boost::is_same< typename A<TT>::B, Nested >::value) );
}

struct NN 
{
    typedef NN outer;
    typedef NN argument;
};

int main()
{
    A<int>::B x;
    NN y;
    g( x );  // Passes
    g( y );  // Fails as it should, note that this will pass if we remove the type check
    f( x );  // Fails as before

    return 0;
}

f( x );ただし、呼び出しが無効な理由はまだわかりません。そのような呼び出しは無効であるべきだと言っている標準のポイントを参照できますか? そのような呼び出しがあいまいな例を挙げていただけますか?

4

4 に答える 4

12 
typename A<T>::B

ここで、Tは推定されないコンテキストにあります。つまりT、 は関数の引数から推定できません。

T問題は、一般的なケースでは、一致する可能性のあるタイプが無限にある可能性があることです。たとえば、代わりにstruct B { };があったとしますtypedef int B;。

于 2010-11-03T22:30:54.183 に答える
4

fの呼び出し中にintを明示的に指定しないようにするにはどうすればよいですか？

Bネストクラスタイプを宣言するだけです

template < typename T >
struct A
{
    struct B { typedef A outer; };
};

次に、それを推測することができます。以下は、外部テンプレート、内部のtypedef、および戻り型を取ります

template<template<typename> class Outer, typename D, typename R = void >
struct nesting { };

template<template<typename> class Outer, typename Arg, typename R>
struct nesting< Outer, Outer<Arg>, R > {
  typedef Arg arg1_type;
  typedef R type;
};

template < typename T >
typename nesting<A, typename T::outer>::type
f(T) { 
  /* nesting<A, typename T::outer>::arg1_type is A's T */ 
}
于 2010-11-05T13:31:10.157 に答える
0

f の呼び出し中に int を明示的に指定しないようにするにはどうすればよいですか?

の助けが必要ですstruct B。

template < typename T >
struct A
{
    struct B 
    { 
        static T getType(); // no impl required 
    };
};

#define mytypeof(T) (true?0:T)

template < typename T, typename U >
void f( T t, U ) { } // U will be T of A<T>::B

次のように呼び出します。

f(x, mytypeof(x.getType()));

または、 f が呼び出す別の関数を導入して抽象化mytypeof(x.getType())することもできるので、元のf(x). 例えば

template < typename T, typename U >
void b( T t, U ) { } // U will be T of A<T>::B

template < typename T >
void f( T t )
{
    b(t, mytypeof(t));
}

その後、 を呼び出すことができますf(x)。

于 2010-11-03T23:24:39.837 に答える