为什么boost :: is_same <int const＆，boost :: add_const <int &> :: value等于false？

Question

我通过"C++ Template Metaprogramming" by Abrahams & Gurtovoy工作“ 这实际上不是在第二章，但是是我尝试过，而在第一次演练工作（2.10，2.0），这是混淆了我：

#include <iostream> 
#include <boost/type_traits.hpp> 

std::string display(bool b) 
{ 
    return (b ? "true" : "false"); 
} 

int main() 
{ 
    using namespace std; 

    cout << display(boost::is_same<int const&, boost::add_const<int &>::type >::value) << "\n"; 

    return 0; 
} 

输出为' false' 但是，如果我删除了引用，即'int const'和'int'。输出为'true'。

Answer 1

如果你试图用三分球一样的东西，如

boost::is_same<int const *, boost::add_const<int *>::type>::value 

你会发现，这也是假的，因为boost::add_const<int *>::type产生int *const型，这显然是不一样的int const *。

基本上同样的事情发生在参考文献中，即boost::add_const<int &>::type是试图产生int &const。形式上，类型int &const在C++中是非法的 - cv-qualification不能应用于引用本身。因此，boost::add_const被设计为在这种情况下为空操作，这意味着boost::add_const<int &>::type再次生成int &。

Answer 2

您不能将const添加到引用，它将是int& const这是不可能的。

就像使用typedef一样，添加q ualifiers不是文本替代品，而是适用于整个类型的东西。