时间戳

首页 > 解决方案 > GCC 允许访问私有静态成员

c++ - GCC 允许访问私有静态成员

问题描述

此代码适用于 GCC，但不适用于 clang。

class Base
{
    static constexpr int PRIVATE = 1;
};

struct Derived : public Base
{
    template <class T>
    int bar( T & t )
    {
        return PRIVATE;
    }
};

int main()
{
    Derived d;
    int i = 3;
    d.bar(i);
}

神螺栓链接： https ://godbolt.org/g/qPJ47p

在私有成员函数的情况下，如果模板函数被实例化，GCC 会正确检测到访问私有成员的尝试，否则不会。即使模板函数从未实例化，Clang 也会检测到该尝试。

但是，当使用私有静态 constexpr 变量时，即使模板函数被实例化，GCC（直到最新的 8.1）也无法停止私有访问。Clang正确（？）抱怨。

问题：在这种情况下，两种编译器中的哪一种符合标准？

在我看来，GCC 在允许访问私有静态 constexpr 变量方面是不正确的。然而与此同时，这似乎不是一个过于复杂的问题，但它不在最新的 GCC 中：这使它看起来是故意的。

非常感谢paxdiablo的清晰而彻底的回答。根据他的建议，我制作了一个更全面的测试用例列表，并将其缩小到static导致 GCC 问题的说明符。有关更多详细信息，请参阅此 Godbolt 链接：https ://godbolt.org/g/A3zCLk

Comparison of GCC and Clang:

Private member    | GCC         | Clang

static const      | accept      | reject
static constexpr  | accept      | reject
static            | accept      | reject
const             | instantiate | reject
no-specifiers     | instantiate | reject
static function   | instantiate | reject
function          | instantiate | reject

("instantiate" means GCC rejects it upon template instantiation)

标签： c++gccclang

解决方案

这绝对看起来像一个错误，因为它是一个实例化的模板函数还是一个真正的函数应该与基类中私有成员的可访问性无关。如果您将代码更改为：

int bar(int&) {
    return PRIVATE;
}

然后它正确地抱怨：

testprog.cpp: In member function 'int Derived::bar(int&)':
testprog.cpp:3:26: error: 'constexpr const int Base::PRIVATE' is private
     static constexpr int PRIVATE = 1;
                          ^
testprog.cpp:9:16: error: within this context
         return PRIVATE;
                ^

我只想将此作为. gcc如果他们对它的有效性有不同的看法，他们会让你知道。

而且，当您提交错误时，我建议使用绝对简约的示例，这将使他们更容易调试。我把它归结为：

class Base {
    static constexpr int PRIVATE = 42;
};
struct Derived : public Base {
    template <class T> int bar(T) {
        return PRIVATE;
    }
};
int main() {
    Derived d;
    return d.bar(1);
}

您可能还想指出声明的各种可能性PRIVATE及其对gcc和clang（本问题的主干）的影响：

                                gcc       clang
                              --------   --------
static constexpr int          accepted   rejected
static const int              accepted   rejected
const int                     rejected   rejected
int                           rejected   rejected

改用非模板函数（如上所述）：

int bar(int) {
    return PRIVATE;
}

似乎导致gcc“行为”本身：

                                gcc       clang
                              --------   --------
static constexpr int          rejected   rejected
static const int              rejected   rejected
const int                     rejected   rejected
int                           rejected   rejected

所以，如果这确实是一个gcc问题，我会认为static模板之间存在一些交互，这会导致问题。

推荐阅读