为什么在非const的私有时不调用公共const方法？

Question

为什么在非const的私有时不调用公共const方法？

Nar*_*rek 114 c++ overloading member-functions overload-resolution

考虑以下代码:

struct A
{
    void foo() const
    {
        std::cout << "const" << std::endl;
    }

    private:

        void foo()
        {
            std::cout << "non - const" << std::endl;
        }
};

int main()
{
    A a;
    a.foo();
}

Run Code Online (Sandbox Code Playgroud)

编译器错误是:

错误:'void A :: foo()'是私有的.

但是当我删除私有它时它才起作用.为什么在非const的私有时不调用public const方法？

换句话说,为什么在访问控制之前会出现重载决策？这很奇怪.你认为它是一致的吗？我的代码工作,然后我添加一个方法,我的工作代码根本不编译.

Answer 1

Nat*_*ica 126

当您调用时a.foo();,编译器会通过重载解析来找到要使用的最佳函数.当它构建它找到的重载集时

void foo() const

Run Code Online (Sandbox Code Playgroud)

和

void foo()

Run Code Online (Sandbox Code Playgroud)

现在,既然a不是const,非const版本是最佳匹配,所以编译器选择void foo().然后访问限制到位,你得到编译器错误,因为void foo()是私有的.

请记住,在重载分辨率下,它不是"找到最佳可用功能".它'找到最好的功能并尝试使用它'.如果由于访问限制而无法删除,则会出现编译错误.

换句话说,为什么在访问控制之前会出现重载决策？

好吧,让我们来看看:

struct Base
{
    void foo() { std::cout << "Base\n"; }
};

struct Derived : Base
{
    void foo() { std::cout << "Derived\n"; }
};

struct Foo
{
    void foo(Base * b) { b->foo(); }
private:
    void foo(Derived * d) { d->foo(); }
};

int main()
{
    Derived d;
    Foo f;
    f.foo(&d);
}

Run Code Online (Sandbox Code Playgroud)

现在让我们说我实际上并不打算void foo(Derived * d)私有化.如果访问控制首先出现,则该程序将编译并运行Base并将被打印.这可能很难在大型代码库中进行跟踪.由于访问控制是在重载解析后出现的,我得到了一个很好的编译器错误,告诉我我想要它调用的函数无法调用,我可以更容易地找到错误.

@ drake7707当我在我的代码示例中显示你是否首先访问控制时,上面的代码会编译,这会改变程序的语义.不确定你,但我宁愿有一个错误,需要做一个显式的演员,如果我希望函数保持私有然后隐式演员和代码默默"工作". (3认同)

Answer 2

atk*_*ins 35

最终,这归结于标准中的断言,即在执行重载解析时不应考虑可访问性.这个断言可以在[over.match]第3条中找到:

...当重载决策成功,并且在使用它的上下文中无法访问最佳可行功能(Clause [class.access])时,程序就会形成错误.

以及同一节第1条中的注释:

[注意:过载分辨率选择的功能不能保证适合上下文.其他限制(例如函数的可访问性)可能使其在调用上下文中的使用不正确. - 结束说明]

至于为什么,我可以想到几个可能的动机:

它可以防止由于更改过载候选项的可访问性而导致的行为意外更改(相反,将发生编译错误).
它从重载决策过程中消除了上下文依赖性(即,无论是在类内部还是外部,重载决策都会产生相同的结果).

Answer 3

Tem*_*Rex 32

假设访问控制在重载解决之前出现.实际上,这意味着public/protected/private可控的可见性而不是可访问性.

Stroustrup的C++设计和演变的 2.10节有一段话,他在这里讨论了下面的例子

int a; // global a

class X {
private:
    int a; // member X::a
};

class XX : public X {
    void f() { a = 1; } // which a?
};

Run Code Online (Sandbox Code Playgroud)

斯特劳斯提到,当前规则的好处(能见度可达性之前)是(暂时)chaning的private内部class X进入public(例如用于调试的目的)是有在上述程序的含义没有安静的变化(即X::a是试图在两种情况下都可以访问,这在上面的例子中给出了访问错误).如果public/protected/private控制可见性,程序的含义将会改变(全局a将被调用private,否则X::a).

然后,他说他不记得是否通过显式设计或用于实现C与Classess前身标准C++的预处理器技术的副作用.

这与你的例子有什么关系？基本上是因为标准使得重载决策符合访问控制之前名称查找的一般规则.

10.2会员名称查找[class.member.lookup]

1成员名称查找确定类范围(3.3.7)中名称(id-expression)的含义.名称查找可能导致歧义,在这种情况下程序是不正确的.对于id-expression,名称查找从此类的范围开始; 对于qualified-id,名称查找从nestedname-specifier的范围开始.名称查找在访问控制之前进行(3.4,第11条).

8如果明确找到重载函数的名称,则 在访问控制之前也会发生重载分辨率(13.3).通常可以通过使用类名限定名称来解决歧义.

Answer 4

Bat*_*eba 23

由于隐式this指针是非指针const,编译器将首先在const版本之前检查是否存在非版本的函数const.

如果明确标记非constone,private则分辨率将失败,编译器将不会继续搜索.

@Narek我相信它的工作原理就像删除的函数在重载决策中的作用一样.它从集合中选择最好的一个,然后它看到它不可用,因此您得到编译器错误.它没有选择最好的可用功能,而是最好的功能然后尝试使用它. (5认同)
@Narek我也首先想知道为什么它不起作用,但考虑一下:如果公共const函数也应该被选择用于非const对象,你将如何调用私有函数？ (3认同)