C++检测类型是否具有模板参数

C++ detect if type has template parameter

本文关键字：参数 检测 类型 是否 C++      更新时间：2023-10-16

我想统一一个界面，以便同时使用模板化和非模板化类型。有没有办法确定类型(如类或函数指针(是否依赖于模板参数？

例如：

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 {};

是否有某种机制可以同时检查两者？

我会使用过载集的力量：

#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
}

让用户：使用模板功能提供特征;)

相关文章：