将 const this 传递给接受 const 指针的函数不是 const 正确的吗？

Question

我有一个类模板Foo，其成员函数如下：

bool contains(const T& item) const

我已经用指针类型实例化了它：Foo<Bar*>，这让我期待成员函数现在具有以下签名：

bool contains(const Bar*& item) const

在constBar 成员函数中，我尝试将this 传递给Foo<Bar*>::contains：

bool Bar::func(const Foo<Bar*>& foo) const
{
    return foo.contains(this);
}

编译失败，报错：

错误：从“const Bar*”到“Bar*”的转换无效

问题：

• 为什么我的 const T& 参数不是 const 正确的？
• 需要Foo<T>::contains(...) const 的什么签名才能允许使用this 调用编译？

完整示例：

#include <vector>
#include <algorithm>

template<typename T>
struct Foo
{
    bool contains(const T& item) const
    {
        return false;
    }
};

struct Bar
{
    bool func(const Foo<Bar*>& foo) const
    {
        return foo.contains(this);
    }
};

错误输出：

scratch/main.cpp:17:33: error: invalid conversion from ‘const Bar*’ to ‘Bar*’ [-fpermissive]
         return foo.contains(this);
                                 ^
scratch/main.cpp:7:10: note: initializing argument 1 of ‘bool Foo<T>::contains(const T&) const [with T = Bar*]’
     bool contains(const T& item) const

Answer 1

我已经用指针类型实例化了它：Foo<Bar*>，引导我 期望成员函数现在将具有以下内容 签名：

bool contains(const Bar*& item) const

这就是问题所在。当T = Bar*时，表达式

bool contains(const T& item) const

实际上会编译成

bool contains(Bar * const & item) const

也就是说，一个对一个常量指针的引用。 你想想就明白了：你想让 T 成为 const，然后你想要一个对它的引用。

如果您想以通常的“预期”方式应用 const（尽管这可能会给经验丰富的 C++ 程序员带来一些意外），您可以通过以下方式声明您的容器和成员函数：

template <class T>
class Container {
public:
    using const_bare_type = typename std::conditional<
        std::is_pointer<T>::value,
        typename std::remove_pointer<T>::type const*,
        const T>::type;

    bool contains(const const_bare_type& item);
};

Answer 2

编译器提示错误的行，你必须写：

bool func(const Foo<const Bar*>& foo) const

即const Bar*在模板参数中，因为Bar::func接收const Bar * this作为它的参数，并且不能将它转换为模板参数中的Bar*（不能删除const）。