8

考虑:

class test {
    private:
        int n;

        int impl () const noexcept {
            return n;
        }

    public:
        test () = delete;
        test (int n) noexcept : n(n) {    }

        int get () const noexcept(noexcept(impl())) {
            return impl();
        }
};

海湾合作委员会说不:

test.cpp:27:43: error: cannot call member function 'int test::impl() const' with
out object
   int get () const noexcept(noexcept(impl())) {

相似地:

test.cpp:27:38: error: invalid use of 'this' at top level
   int get () const noexcept(noexcept(this->impl())) {

test.cpp:31:58: error: invalid use of incomplete type 'class test'
   int get () const noexcept(noexcept(std::declval<test>().impl())) {
                                                          ^
test.cpp:8:7: error: forward declaration of 'class test'
 class test {

这是符合标准的预期行为,还是 GCC (4.8.0) 中的错误?

4

1 回答 1

13

由于核心语言问题 1207this ,可以使用where 的规则实际上是出于另一个原因,但其方式也会影响表达式。noexcept

之前(在 C++03 之后,但在 C++11 还在编写时),this不允许在函数体之外使用。该noexcept表达式不是身体的一部分,因此this无法使用。

之后,this可以在cv-qualifier-seq之后的任何地方使用,之后noexcept出现表达式,正如您问题中的代码清楚地说明的那样。

看起来这个问题的 GCC 实现是不完整的,并且只允许成员函数在尾随函数返回类型中,但标准已经开放了更多。我建议将此报告为错误(如果以前没有报告过)。这已经在 GCC bugzilla 上报告为bug 52869

不管它值多少钱,clang 都接受 C++11 模式下的代码。

于 2013-09-18T17:08:06.390 回答