1

行動がこんなに違うのはなぜ？#if 1version は正常に (これは奇妙です) コンパイルして、予想される出力をstdoutに生成しますが、 version withはそうで#if 0はありません。

#include <iostream>
#include <type_traits>

#include <cstdlib>

template< typename T >
class X
{

    struct B {};

public :

    struct U : B {};

};

template< typename T >
struct Y
{

    using X_type = X< T >;

    template< typename D,
              typename = typename std::enable_if< std::is_base_of< typename X_type::B, D >::value >::type >
    void operator () (D const &) const
    {
        std::cout << "allowed only for derived from B" << std::endl;
    }

};

template< typename T >
struct Z
{

    using X_type = X< T >;

    template< typename D >
    auto
    operator () (D const &) const
    -> typename std::enable_if< std::is_base_of< typename X_type::B, D >::value >::type
    {
        std::cout << "allowed only for derived from B!" << std::endl;
    }

};

int main()
{
    using T = struct W; // not matters
    using X_type = X< T >;
    using U = typename X_type::U;
#if 0
    using V = Y< T >;
#else
    using V = Z< T >;
#endif
    V v;
    v(U());
    return EXIT_SUCCESS;
}

これはエラーを生成します (基本的に、'B' は両方のケースで (実際には) 私の期待に応じて非公開です):

<stdin>: In function 'int main()':
<stdin>:60:10: error: no match for call to '(V {aka Z<main()::W>}) (U)'
<stdin>:34:8: note: candidate is:
<stdin>:41:5: note: template<class D> typename std::enable_if<std::is_base_of<typename X<T>::B, D>::value>::type Z<T>::operator()(const D&) const [with D = D; T = main()::W]
<stdin>:41:5: note:   template argument deduction/substitution failed:
<stdin>: In substitution of 'template<class D> typename std::enable_if<std::is_base_of<typename X<T>::B, D>::value>::type Z<T>::operator()(const D&) const [with D = D; T = main()::W] [with D = X<main()::W>::U]':
<stdin>:60:10:   required from here
<stdin>:10:12: error: 'struct X<main()::W>::B' is private
<stdin>:41:5: error: within this context

g++ -v出力には次の行が含まれます。

gcc version 4.8.1 (rev3, Built by MinGW-builds project)

B以外からはまったくアクセスできないと思いますX。

この問題は、例外的にクラス テンプレートでのみ発生しますが、純粋なクラスでは発生しません (ここでは、両方のバリアントをコンパイルする必要はありませんが、コンパイルされているため、2 つの同一の問題があります)。

4

0 に答える 0