C++模板和const（违反不使用自动编译器警告）

Question

代码：

#include "utils/LinkedList.h" 
#include "utils/RefCount.h" 
#include <iostream> 

#include "utils/testobject.h" 

int Object::nextId = 0; 

int main(void) { 
    ::Utils::LinkedList<::Utils::RefCountedPtr<Object>> list; 
    list.append(new Object()); 

    auto reference = list[0]; 

    const auto other = list[0]; 
    //both IDE and GCC see below line as error: 
    //with: error: passing ‘const Object’ as ‘this’ argument of ‘void Object::setThing(int)’ discards qualifiers [-fpermissive] 
    //other->setThing(3); 
    auto test = other; 
    //this is fine - IT SHOULD NOT BE 
    test->setThing(5); 
    ::std::cout<<"Id: "<<other->getId()<<"\n"; 
} 

有没有产生警告，存在用于裁判计数指针一个构造函数一个const REF计数PTR（拷贝构造） - 裁判计数是可变的。我仍然期待警告。

（正如你不能有常量构造我会假设常量声明是一个正常的拷贝，然后处理结果为const - 还是我期望的警告）

这是我的第一个步骤冒险使用自动（我通常使用自动完成），没有裸指针，我会使用标准库的，但这是更多的练习，如果有的话，我想习惯使用特征和其他类型的实用程序

预计：
自动工作，它正确得到（我鼠标在我的IDE和事实的东西作品确认编译器正在做我期望的）前两个，也就是说reference和other工作正常。

它没有（也没有我的IDE）得到test正确的，那就是它丢弃const和（正如你所看到的），我可以使用“setThing”，我不应该这样做。

附录

复制构造：

RefCountedPtr(const RefCountedPtr& from) { 
    refCount = from.refCount; 
    (*refCount)++; 
    data = from.data; 
} 

Answer 1

当你说

auto test = other; 

您创建的other非const副本。显然，从const对象创建副本没有问题，也不存在对非const对象调用的函数的限制。如果你想创建的参考，你已经写

auto&& test = other; 

这将保持const资格，效果显着。