最近我设计了元类型和允许编译时类型连接的可能操作：
#include <tuple> template<template<typename...> typename T> struct MetaTypeTag {}; /*variable template helper*/ template<template<typename...> typename T> constexpr MetaTypeTag<T> Meta_type_tag = {}; template<typename T> struct TypeTag {}; /*comparison*/ template<typename T> constexpr bool operator==(TypeTag<T>,TypeTag<T>) { return true; } template<typename T,typename U> constexpr bool operator==(TypeTag<T>,TypeTag<U>) { return false; } /*variable template helper*/ template<typename T> constexpr TypeTag<T> type_tag = {}; template<template<typename...> typename T,typename... Ts> constexpr TypeTag<T<Ts...>> combine(MetaTypeTag<T>,TypeTag<Ts>...) { return {}; } int main() { constexpr auto combined_tag = combine(Meta_type_tag<std::tuple>,type_tag<int>,type_tag<float>); static_assert(combined_tag == type_tag<std::tuple<int,float>>,""); }
没有模板参数的std :: tuple不能用作类型,但仍可能出现在模板模板参数中.
现在,如果我们试图更进一步,问题是是否有任何方法来统一struct MetaTypeTag和struct TypeTag,因为它们都是带有一个模板参数的空类,或者至少可以使用相同的变量模板type_tag但根据类型类别重定向到不同的类？所以我会想象这样的事情：
template<???>
constexpr auto type_tag = ????{};
//use with 'incomplete type'
type_tag<std::tuple> //MetaTypeTag<std::tuple>
//use with regular type
type_tag<int> //TypeTag<int>
我尝试了所有可能的方法 – 重新定义,显式特化,部分特化,可选模板参数,条件使用别名,但没有工作.我曾希望C 17的模板< auto>会有所帮助,但事实证明,一个只适用于非类型.
解决方法
the question is whether there is any way to unify
struct MetaTypeTagandstruct TypeTag,since they are both empty classes with one template parameter
我不这么认为.
我能想象的最好的是简化一点(非常一点)你的代码定义了一些重载的constexpr函数,比如说getTag()
template <typename T>
auto constexpr getTag ()
{ return TypeTag<T>{}; }
template <template <typename ...> typename T>
auto constexpr getTag ()
{ return MetaTypeTag<T>{}; }
所以你可以调用getTag< T>(),其中T是一个类型或模板.
所以你可以调用combine(),如下所示
constexpr auto combined_tag = combine(getTag<std::tuple>(),getTag<int>(),getTag<float>());
但我认为这不是一个很大的进步.
