Question

在一个项目中，我发现有可能将DRY保留为很多代码，除了一些小部件可以保持模板的模板特化相同。这是我正在做的一个小工作示例，用于检查我使用的模板类：

template<typename T>
class A{};

template<typename T>
class B{};

template<template<class> class C>
void do_stuff()
{
    if(std::is_same<A<int>,C<int>>::value)
    {
    // Do Stuff for A
    } else if(std::is_same<B<int>,C<int>>::value)
    // Do Stuff for B
    }
}

int main()
{
    do_stuff<A>();
}

我想做的是使用

std::is_same<A,C>::value

确定模板类型。是否有任何功能可以帮助我，或者我错过了一种在这种情况下效果更好的模式？

我看到我可以做类似

的事情

template<template<class> class C, typename T>
void do_stuff();

do_stuff<A,T>();

但这对我来说似乎是错误的做法。

Answer 1

您可以编写一个is_same_template特征，该特征部分专用于两个模板模板参数相同的时间：

template <template <typename...> class, template<typename...> class> 
struct is_same_template : std::false_type{};

template <template <typename...> class T>
struct is_same_template<T,T> : std::true_type{};

然后你可以写is_same_template<A,C>::value。

请注意，这不适用于具有非类型模板参数的模板，例如std::array。

某些编译器不会将别名模板视为与其别名的模板等效，因此以下内容将导致std::false_type：

template <typename T, typename Alloc>
using MyVec = std::vector<T, Alloc>;

is_same_template<std::vector, MyVec>;

这被认为是defect in the standard，但在所有常见编译器中实现此修复之前，您不应该依赖行为。

那就是说，你需要注意你放在那些if分支中的内容，因为代码需要编译而不管实例化模板的内容。在C ++ 17中，您将能够使用if constexpr来解决此问题，但是现在您需要标记调度或者如果分支具有仅对{{1}有效的代码，则需要具有不同的特殊化}或A。

std :: is_same等效于非专用模板类型

1 个答案: