c++ - Q : Template class that takes either a normal type or a template template argument

最近，我设计了元类型和可能的操作，这些操作将允许编译时类型串联:

#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的template<auto>会有所帮助，但事实证明，它仅适用于非类型。

最佳答案

我不这么认为。
我能想象到的最好的一点(一点点)简化代码是定义了几个重载的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>());

但是我认为这不是很大的进步。

关于c++ - Q : Template class that takes either a normal type or a template template argument，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/45802194/