static_assert 引用封闭模板类

Question

在以下代码中，VS2015 在IsInstantiation<OtherType, T1>::value 抱怨，给出此错误“模板参数'TT' 的模板参数无效，需要类模板”。我将如何解决这个问题？我想将 OtherType 限制为 T1 枯萎 SomeType 或 OtherType 的情况。

template <template<typename...> class TT, typename T>
struct IsInstantiation : std::false_type
{
};

template <template<typename...> class TT, typename... Ts>
struct IsInstantiation<TT, TT<Ts...>> : std::true_type
{
};

template <typename T1>
class SomeType{};

template <typename T1, typename T2>
class OtherType
{
    static_assert(IsInstantiation<SomeType, T1>::value ||
        IsInstantiation<OtherType, T1>::value,
        "Event must have SomeType or OtherType as first type");
public:
    explicit OtherType(T1 t1, T2 t2)
        : mT1{ std::move(t1) }
        , mT2{ std::move(t2) }
    {
    }

private:
    T1 mT1;
    T2 mT2;
};

Answer 1

试试

template <typename, typename>
class OtherType;

template <typename T1, typename T2>
using OtherTypeAlias = OtherType<T1, T2>;

template <typename T1, typename T2>
class OtherType
{
    static_assert(IsInstantiation<SomeType, T1>::value ||
        IsInstantiation<OtherTypeAlias, T1>::value,
        "Event must have SomeType or OtherType as first type");

问题：OtherType里面，写OtherType的时候，默认是OtherType<T1, T2>；因此，当您将OtherType 作为IsIstantiation 的参数传递时，您传递的是模板类型，而不是模板模板。

-- 编辑--

我不知道，但可以直接引用 OtherType 中的干（没有模板默认参数）（感谢 Barry！）。

这样就简单多了

O 不知道如何直接引用 OtherType 类 -- 作为模板模板，没有默认模板参数 -- 在 OtherType 的正文中

template <typename T1, typename T2>
class OtherType
{
    static_assert(IsInstantiation<SomeType, T1>::value ||
        IsInstantiation<::OtherType, T1>::value,
        "Event must have SomeType or OtherType as first type");

没有别名