如何优雅地将模板参数限制为``？

Question

如何将Wrapper的模板参数限制为Wrapper

1. 不要中断内容辅助（Visual Studio）。
2. 可读性高。
   由于某些原因，大多数解决方案都喜欢黑客。
3. 通过使用C语法规则使其在第一行变得明显。（

据我所知，有很多解决方案，但每个解决方案都不符合标准。

template<class T> class MyArray{};
template<class T,class T2> class Wrapper;
template<class T,class T2> class Wrapper<T,MyArray<T2>>{     
    using Test=int; 
};
class B{};
class C{};
int main() {
    Wrapper<C,MyArray<B>> wrapper;
    return 0;
}

此代码是从https://stackoverflow.com/a/43518221（@max66）。

IDE的上下文线索/语法突出显示将被混淆
在我的例子中，它将一些正确的类型标记为错误，例如：-

class ShowError : public Wrapper<B,MyArray<C>>{ 
    Test n=0;  //<-- unknown "Test" (intellisense)
};

template<class T> class MyArray{ 
    public: using MyArrayT=T; 
};
template<class T,class T2> class Wrapper{
    public: using myT=typename T2::MyArrayT;
    //^ assert at compile time
};

这个想法来自https://stackoverflow.com/a/43518295的评论（@Jarod42）

类声明没有提到MyArray，它只是使用一种hacky（不太可读）的方式（MyArrayT）来强制执行T2是MyArray。

class MyArrayBase{};
template<class T> class MyArray : public MyArrayBase{  };
template<class T,class T2> class Wrapper{
    //check something around MyArrayBase *object = new T2();
    // or "is_base_of"
};

代码从Restrict C Template参数修改为仅接受特定类型的子类和C模板。

它与解决方案2具有相同的缺点
这对于普通用户来说并不明显。

通过在模板类声明（Wrapper）上添加std:：enable_if，我可以得到一个有效的hack<不幸的是，内容助理讨厌它。

以下是我阅读的其他链接：-

• http://www.informit.com/articles/article.aspx?p=376878（模板模板参数）
• 限制模板函数，只允许某些类型（与模板类型无关作为参数）




Answer 1

您可以编写自定义类型traitis_specialization，如下所示：

template<class Type, template<class...> class Template>
struct is_specialization
  : std::false_type {};
template<template<class...> class Template, class... TArgs>
struct is_specialization<Template<TArgs...>, Template>
  : std::true_type {};

然后您只需要对给定的模板参数断言是否为真：

template<class T,class T2>
class Wrapper {
    static_assert(is_specialization<T2, MyArray>::value, "T2 must be a specialization of MyArray");
};