模板忽略了 const（为什么？）

Question

有人知道，为什么会这样编译吗？？

template< typename TBufferTypeFront, typename TBufferTypeBack = TBufferTypeFront>
class FrontBackBuffer{

public:


  FrontBackBuffer(
    const TBufferTypeFront  front, 
    const TBufferTypeBack back):    ////const reference  assigned to reference???
     m_Front(front),
     m_Back(back)
  {
  };

  ~FrontBackBuffer()
  {};

  TBufferTypeFront m_Front;       ///< The front buffer
  TBufferTypeBack m_Back;         ///< The back buffer

};

int main(){
    int b;
    int a;
    FrontBackBuffer<int&,int&> buffer(a,b); //
    buffer.m_Back = 33;
    buffer.m_Front = 55;
}

我使用 GCC 4.4 编译。为什么它甚至让我编译这个？不应该出现我无法将 const 引用分配给非常量引用的错误吗？

Answer 1

问题是如果T 类型是int&，那么const T 类型就不是const int&，而是int & const。在模板替换和 typedef 结果中忽略引用上的非法顶级 const。

另一方面，如果T 是const int，那么T& 是const int&

Answer 2

当 TypeBufferFront 为 int& 时，const TBufferTypeFront 等效于 int& const，其中 const 在模板替换期间被忽略，因为所有引用都是常量，即使它们引用的不是。

因此，当使用int& 实例化时，您的构造函数实际上是FrontBackBuffer(int&, int&)，它按给定的方式工作。

这是为什么许多人会使用T const 而不是const T 的一个示例，以便更清楚地了解替换是如何发生的，并允许他们从右到左阅读 cv 限定符。

Answer 3

要让代码做你想做的事，它必须是这样的：

  FrontBackBuffer(
    typename std::remove_reference<TBufferTypeFront>::type const&  m_front, 
    typename std::remove_reference<TBufferTypeBack>::type const& m_back):    ////const reference  assigned to reference???
    m_Front(m_front),
    m_Back(m_back)
  {
  };

它有一个额外的“特性”，当用于构造FrontBackBuffer时，它会将其他类型转换为常量引用。

现在这并不完美。这可以防止FrontBackBuffer 的临时参数被移动，并且通过引用而不是通过值传递甚至很小的廉价复制类型（如char）。有标准的 C++0x 技术可以做到这一点，如果你在乎的话，写起来有点尴尬。

Answer 4

FrontBackBuffer::m_Front 是 TBufferTypeFront 类型，在您的模板实例化中转换为 int&。分配给int& 没有任何问题。