c++ - 模板忽略了常量(为什么？)

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 结果中忽略引用上的非法顶级常量。

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