c++ - 模板参数的默认参数可以专门化吗？

Question

在 C++ 中，如果我有一个模板参数，我怎样才能干净地特化一个默认参数？例如，请考虑以下内容:

template <class Key, class Value = int > class Association;

如果我希望 Value 为 Special 类默认为 float 怎么办？有没有一种方法可以有效地专门化 Association 类，这样如果 Key 是 Special，那么 Value 默认为 float？

我想这样做的一种方法是使用特征:

template <class Key> struct Traits {
  typedef int defaultValue;
}
template<> struct Traits<Special> {
  typedef float defaultValue;
}
template <class Key, class Value = Traits<Key>::defaultValue> class Association;

是否有更简洁的方法来做到这一点，它不那么复杂并且更容易表明 int 是定义 Association 的地方的正常默认值？

Answer 1

好吧，一个不一定漂亮的单行:

#include <type_traits>

template <typename Key,
          typename Value = typename std::conditional<std::is_same<Key, Special>::value, float, int>::type>
class Association { /* ... */ };