在模板参数中找到typename的typename

Question

我想在foo获取任何从base派生的内容时编译以下代码，否则会发生编译错误。 我写了类型特征类is_Base，因为std::is_base_of不能很好地与我的模板配合使用。 我近了 我使用static_passoff东西使它工作，但我不想使用它。 那么，如何在没有static_passoff hack的情况下编写enable_if？ 这是运行的版本： http : //coliru.stacked-crooked.com/a/6de5171b6d3e12ff

#include <iostream>
#include <memory>

using namespace std;

template < typename D >
class Base
{
public:
    typedef D EType;
};

template<class T>
struct is_Base
{
    using base_type = typename std::remove_cv<typename std::remove_reference<T>::type>::type;

    template<class U>
    static constexpr std::true_type test(Base<U> *) { return std::true_type(); }
    static constexpr std::false_type test(...) { return std::false_type(); }

    using value = decltype( test((T*)0) );
};

template < typename A >
using static_passoff = std::integral_constant< bool, A::value >;

template <typename T, typename = typename std::enable_if< static_passoff< typename is_Base< T >::value >::value >::type >
void foo(T const&)
{
}


class Derived : public Base<Derived> {};
class NotDerived {};


int main()
{
    Derived d;
    //NotDerived nd;

    foo(d);
    //foo(nd); // <-- Should cause compile error

    return 0;
}

Answer 1

考虑到您的代码确实有效，我不确定是否能理解您的问题。 但是从风格上讲，对于产生类型的元函数，该类型应命名为type 。 因此，您应该具有：

using type = decltype( test((T*)0) );
      ^^^^

或者，为了避免零指针广播黑客：

using type = decltype(test(std::declval<T*>()));

另外，您的test不需要定义。 只是宣言。 我们实际上并没有调用它，只是检查它的返回类型。 它也不必是constexpr ，所以就足够了：

template<class U>
static std::true_type test(Base<U> *);
static std::false_type test(...);

一旦有了它，就可以对其进行别名：

template <typename T>
using is_Base_t = typename is_Base<T>::type;

并使用别名：

template <typename T, 
          typename = std::enable_if_t< is_Base_t<T>::value>>
void foo(T const&)
{
}

Answer 2

盲目地陷入评论的答案之后，我发现我可以只使用is_Base<T>::type::value而无需任何typename关键字。 在尝试删除static_passoff之前，我一直输入typename 。 我一直都和那个混在一起。 无论如何，这是最终的代码，其中有一些来自Barry的回答：

#include <iostream>
#include <memory>

using namespace std;

template < typename D >
class Base
{
public:
    typedef D EType;
};

template<class T>
struct is_Base
{
    using base_type = typename std::remove_cv<typename std::remove_reference<T>::type>::type;

    template<class U>
    static constexpr std::true_type test(Base<U> *) { return std::true_type(); }
    static constexpr std::false_type test(...) { return std::false_type(); }

    using type = decltype(test(std::declval<T*>()));
};

template <typename T, typename = typename std::enable_if< is_Base< T >::type::value >::type >
void foo(T const&)
{
}


class Derived : public Base<Derived> {};
class NotDerived {};


int main()
{
    Derived d;
    //NotDerived nd;

    foo(d);
    //foo(nd); // <-- Should cause compile error

    return 0;
}