c++ - 模板参数中的 enable_if 创建模板重新定义错误

Question

在this answer我真正想做的是在我的模板参数中定义一个 typename，它可以在转换 和 返回中使用。

所以这样:

template <typename T>
typename std::enable_if<sizeof(unsigned char) == sizeof(T), unsigned char>::type caster(T value){ return reinterpret_cast<unsigned char&>(value); }

会变成这样:

template <typename T, typename R = std::enable_if<sizeof(unsigned char) == sizeof(T), unsigned char>::type >
R caster(T value){ return reinterpret_cast<R&>(value); }

对于单个模板特化，它的工作和行为符合预期，但假设我添加了另一个特化:

template <typename T, typename R = std::enable_if<sizeof(short) == sizeof(T), short>::type>
R caster(T value){ return reinterpret_cast<R&>(value); }

现在我得到一个错误:

error C2995: 'R caster(T)' : function template has already been defined

有没有办法让编译器相信这些特化中只有一个会为任何给定调用实际构建？

Answer 1

不，没有。模板默认参数就是 defaults。任何用户都可以调用 caster<short, short> ，这将匹配两个重载。

但是，可以添加更多伪参数。

template <typename T,
          typename R = typename std::enable_if<sizeof(unsigned char) == sizeof(T), unsigned char>::type >
R caster(T value) { return reinterpret_cast<R&>(value); }

template <typename T,
          typename R = typename std::enable_if<sizeof(short) == sizeof(T), short>::type,
          typename = void>
R caster(T value) { return reinterpret_cast<R&>(value); }

(另请注意添加的 typename 。)

---

但是，由于所有主体都是相同的，所以我可能不会使用重载。

template <std::size_t N>
struct cast_result;

template <>
struct cast_result<sizeof(std::uint8_t)> {
  typedef std::uint8_t type;
};

template <>
struct cast_result<sizeof(std::uint16_t)> {
  typedef std::uint16_t type;
};

...

template <typename T, typename R = typename cast_result<sizeof(T)>::type>
R caster(T value) {
  return reinterpret_cast<R&>(value);
}

最后一点:reinterpret_cast 的使用违反了别名规则。但是，这很容易解决:

template <typename T, typename R = typename cast_result<sizeof(T)>::type>
R caster(T value) {
  R result;
  std::memcpy(&result, &value, sizeof result);
  return result;
}