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

将类模板作为模板参数传递

template-meta-programming c++17 c++

Timo · 技术社区 · 5 年前

是否可以传递类模板(如 std::vector ,而不是像 std::vector<int> )作为模板参数?我想编写一个类型来检查给定类型是否是给定模板的实例。我知道编译器不允许传递未实例化的模板,但是我想知道是否有比我得到的更好的解决方法。

我的实现(注意我删除 TArgs 在最底层):

#include <type_traits>

template <typename Instance, typename Template>
struct IsInstanceOf : std::false_type {};

template <
      template <typename...> typename Instance,
      template <typename...> typename Template, 
      typename... IArgs,
      typename... TArgs>
struct IsInstanceOf<Instance<IArgs...>, Template<TArgs...>>
    : std::is_same<Instance<IArgs...>, Template<IArgs...>> {};

这个实现是可行的,但是我必须用某种类型的模板进行实例化,例如:

IsInstanceOf<std::vector<float>, std::vector<void>>::value

这种行为是意料之中的,但我想知道是否还有更好的,比如

IsInstanceOf<std::vector<float>, std::vector<>>::value 
// since this is illegal
IsInstanceOf<std::vector<float>, std::vector>::value

Here 是指向示例的链接。

1 回复 | 直到 5 年前

Nikita Kniazev 5 年前

#include <type_traits>

template <typename T, template <typename...> typename Template>
struct IsInstanceOf : std::false_type {};

template <
      template <typename...> typename Template,
      typename... TArgs>
struct IsInstanceOf<Template<TArgs...>, Template>
    : std::true_type {};

#include <vector>
static_assert(IsInstanceOf<std::vector<float>, std::vector>::value);
static_assert(!IsInstanceOf<int, std::vector>::value);
#include <string>
static_assert(!IsInstanceOf<std::string, std::vector>::value);
static_assert(IsInstanceOf<std::string, std::basic_string>::value);

int main() {}

https://wandbox.org/permlink/PTXl0KoxoJ2aFJfK

推荐文章

yo_gdg · C++模板元函数

6 年前

oink · 模板类型推断是否可以考虑基元操作类型转换?

6 年前

Infinity · 在编译时创建键值类型的所有可能映射的变量类型,其中键值类型是从类型的元组中指定的

6 年前

Zach Saw · 将函数作为模板参数传递[重复]

6 年前

Antoine Morrier · C++constexpr:在编译时计算std数组

6 年前

Vincent · 一种类型特征,标识哪个类提供重载解析选择的函数

6 年前

Generic Name · 如何获取参数包中元素的索引

6 年前

Greg Nisbet · C++如何在没有隐式转换的情况下模拟函数?

6 年前

Vahagn · 如何“复制”模板参数包扩展?

6 年前

AOK · 为什么C++中的static\u for实现比常规的“for”循环慢

6 年前