为什么在PIMPL中无法访问工具类的常量函数？

Question

我想尝试一下C ++中的PIMPL。

就我而言，我正在使用operator()访问私有成员。

接口类A和实现类AImpl都具有operator() const和operator()。

代码显示如下：

#include <iostream>
class AImpl
{
public:
    explicit AImpl()
    {
        x = 0;
    }
    const int &operator()() const
    {
        std::cout << "const access in AImpl" << std::endl;
        return x;
    }
    int &operator()()
    {
        std::cout << "not const access in AImpl" << std::endl;
        return x;
    }

private:
    int x;
};

class A
{
public:
    A()
    {
        impl = new AImpl;
    }
    ~A()
    {
        delete impl;
    }
    const int &operator()() const
    {
        std::cout << "const access in A" << std::endl;
        return impl->operator()();
    }
    int &operator()()
    {
        std::cout << "not const access in A" << std::endl;
        return impl->operator()();
    }

private:
    AImpl *impl;
};

int main()
{
    A non_const_a;
    std::cout << non_const_a() << std::endl;

    const A const_a;
    std::cout << const_a() << std::endl;
}

我使用跟随命令编译程序

g++ Main.cpp

结果显示：

# ./a.out
not const access in A
not const access in AImpl
0
const access in A
not const access in AImpl
0

从结果可以看出：

[A的const成员函数const int &A::operator()() const调用int &AImpl::operator()()，但不调用const int &AImpl::operator()() const。

为什么会这样？

在PIMPL情况下，我希望A和AImpl中的成员函数是一一对应的。

我想让const int &A::operator()() const呼叫const int &AImpl::operator()() const。

我如何修改我的代码来实现这一目标？修改会降低性能吗？

上面提到的是一个简单的例子。在实际情况下，A是一个容器，将在我的代码中广泛使用，因此我不希望修改会降低性能。

我很抱歉这是一个愚蠢的问题。谢谢您的时间。

Answer 1

我也不明白你的结果。在我看来，指针impl在const方法范围内应为const，因此应调用const的AImpl方法。

无论如何将A实现更改为此，都将为您提供所需的行为：

const int &operator()() const
{
    std::cout << "const access in A" << std::endl;
    return const_cast<const AImpl*>(impl)->operator()();
}