11

我想要一个模板根据某些条件从两种类型中进行选择。例如

struct Base {};

template <typename T1, typename T2>
struct test
{
    // e.g. here it should select T1/T2 that is_base_of<Base>
    typename select_base<T1, T2>::type m_ValueOfBaseType;
};

当然，将条件传递给 select_base（使其通用）会很有用，但硬编码的解决方案也更容易也更好。

这是我尝试过的示例解决方案，但它始终选择 T1：http: //ideone.com/EnVT8

问题是如何实现 select_base 模板。

4

2 回答 2

18

如果您使用std::conditional而不是if_@Matthieu 在他的回答中实现的类模板，那么您的解决方案将简化为：

template <typename T, typename U>
struct select_base
{
   typedef typename std::conditional<std::is_base_of<T, Base>::value, T, U>::type base_type;
};

或者简单地说：

template <typename T, typename U>
struct select_base : std::conditional<std::is_base_of<T, Base>::value, T, U> {};

看起来更好。

这两个解决方案之间的区别在于，在第一个解决方案中，您为嵌套类型提供了一个程序员友好的名称，正如我给它的那样base_type，而在第二个解决方案中，嵌套类型type看起来对程序员不友好.

请注意，在上述两种解决方案中，您必须将嵌套类型用作select_base<T,U>::base_type（在第一个解决方案中）或select_base<T,U>::type（在第二个解决方案中） - 因此，如果您使用typename按照自己在问题本身。

但是，如果您改为使用模板别名，则定义为：

template<typename T, typename U>
using base_type = typename std::conditional<std::is_base_of<T, Base>::value, T, U>::type;

那么你可以base_type<T,U>在没有任何嵌套类型的情况下使用typename：

template <typename T1, typename T2>
struct test
{
   //typename select_base<T1, T2>::type m_ValueOfBaseType; //ugly!

   base_type<T1, T2>  m_ValueOfBaseType; //better
};

希望有帮助。

于 2012-06-16T17:07:53.860 回答
8

C++14（及更高版本）：

template <typename T, typename U>
struct select_base:
    std::conditional_t<std::is_base_of<T, Base>::value, T, U> {};

同样，您可以改用这个：

template<typename T, typename U>
using select_base = std::conditional_t<std::is_base_of_v<T,Base>, T, U>;

当您使用它们时，可以观察到这两种方法之间的区别。例如，在第一种情况下，如果您必须使用::type，而在第二种情况下，您不需要。如果任何依赖类型涉及第一种方法的使用，您也必须使用typename，以帮助编译器。第二种方法没有所有此类噪音，因此优于此答案中的其他方法。

另外，请注意，您也可以在 C++11 中编写类似的类型别名。

C++11：

template <typename T, typename U>
struct select_base:
    std::conditional<std::is_base_of<T, Base>::value, T, U>::type {};
//                 ^                                       ^~~~~~

C++98：

条件很容易：

template <typename bool, typename T, typename U>
struct conditional { typedef T type; };

template <typename T, typename U>
struct conditional<false, T, U> { typedef U type; };

is_base_of稍微复杂一些，Boost 中提供了一个实现，我不会在这里重现。

之后，请参阅 C++11。

于 2012-06-16T17:00:36.657 回答