将模板类重新解释为 const 版本

Question

AFAIK，带有模板参数<Type> 的模板类与<const Type> 完全不同。

template<typename T>
struct Wrapper
{
  T obj = T{};

  //other code 
};

现在我无法将Wrapper<int>& 传递给需要Wrapper<const int>& 的函数。

void someFunc(Wrapper<const int>& wrapper);
//...
Wrapper<int> wrapper;
someFunc(wrapper); //error

reinterpret_cast'ing 到它的 const 版本会出现什么问题？

operator Wrapper<const T>&() { return *(reinterpret_cast<Wrapper<const T>*>(this)); }

将上述行添加到Wrapper 使其无需创建新的<const int> 对象即可工作。 obj 不能在函数内部访问，所以传递的参数实际上是<const Type> 还是<Type> 应该没有关系。

如果没有模板专业化，这里有什么问题吗（就标准与实践而言）？

Answer 1

在 const 和非 const 情况下有许多不同的优化，这意味着类的内存布局（例如，因为 const 对象不需要实际存在）和类的用法都可以不同。

换句话说：为此使用 reinterpret_cast 可能会导致意外行为，不应该这样做。

在我看来，过度使用 const 关键字可能会导致更复杂的代码而没有任何收获，这就是其中之一。
我建议避免<const Type> 的情况，而不是尝试处理它们。

在不知道用例的情况下，在我看来，大多数用例都可以通过使用 const Wrapper<T> 而不是 Wrapper<const T> 来涵盖。