代码之家 › 专栏 › 技术社区 › Museful

如果模板参数是另一个模板的某个实例,则进行类型特征测试

enable-if typetraits sfinae c++14 c++

Museful · 技术社区 · 7 年前

T Bar<T> 成为一个 Foo<U> 对于任何 U .

template<typename U>
class Foo { };

template<typename T, typename = std::enable_if_t< /*T is Foo<U> for any U*/>>
class Bar {
    // ...
};

/*T is Foo<U> for any U*/ 用什么?

2 回复 | 直到 7 年前

Barry 7 年前

您可以编写一个通用特性来匹配任何专业:

template <typename T, template <typename...> class Z>
struct is_specialization_of : std::false_type { };

template <typename... Args, template <typename....> class Z>
struct is_specialization_of<Z<Args...>, Z> : std::true_type { };

在您的具体案例中:

is_specialization_of<T, Foo>::value // <== T is some kind of Foo

Jarod42 7 年前

你可以为此创建一个特性:

template <typename T>
struct is_foo : std::false_type {};

template <typename T>
struct is_foo<Foo<T>> : std::true_type {};

推荐文章

Jacinto Resende · 模板类型扣除失败?

9 年前

ssb · 查找函数是否为常量

9 年前

themiurge · 基于条件的编译时类型选择的可变模板

9 年前

Alexander Bily · C++two is\u union\u或\u类实现

9 年前

Tomilov Anatoliy · 可移动但不可复制

10 年前

0xbadf00d · 我的部分模板专用化的模板参数不可推断

10 年前

Daniel · 检查类型是否为映射

10 年前

Milo Lu · 标签发送过程中发生错误

11 年前

Justin G · 如何使用类型特征仅比较类中具有多个参数的第一个模板参数?

11 年前

Jean-Simon Brochu · 如何确定指针转换将被偏移的编译时间

11 年前