我想统一一个接口以同时使用模板化和非模板化类型。有没有一种方法可以确定类型(例如类或函数指针)是否取决于模板参数?
例如:
struct foo {};
template<typename T> struct bar {};
// This works if the template parameter is provided
template<typename> struct is_templated : false_type {};
template<template<typename...> class Obj, typename...Args>
struct is_templated<Obj<Args...>> : true_type {};
template<typename T> constexpr auto is_templated_v = is_templated<T>::value;
在这种情况下,is_template_v<foo>
为假,is_template_v<bar<int>>
为真,但是我不能只用is_template_v<bar>
来推断任何东西。或者,如果我定义
template<template<typename...> class>
struct temp_check : true_type {};
然后temp_check<bar>
是完全有效的,但是我不知道如何类似地检查foo
。如果它是有效的C ++,则需要这样的东西
template<template<> class A> struct temp_check<A> : false_type {};
是否存在可以同时检查两者的机制?
答案 0 :(得分:3)
我会使用过载集的力量:
#include <iostream>
#include <type_traits>
struct foo {};
template<typename T> struct bar {};
template<template<class ...> class T, class... TArgs>
constexpr bool is_template() { return true; }
template<class T>
constexpr bool is_template() { return false; }
int main()
{
std::cout << is_template<foo>() << '\n'; // 0
std::cout << is_template<bar>() << '\n'; // 1
}
让用户使用:使用模板功能来提供特征;)