带有尾随返回类型的 final、override、const 的语法

Question

我试图覆盖一个 virtual 但也使用关键字override, finaland const，带有尾随返回类型。问题似乎出在派生类上，编译器错误（说我没有指定尾随返回类型）并没有太大帮助。代码在这里：https : //wandbox.org/permlink/zh3hD4Ukgrg6txyE

还贴在下面。我玩过不同的排序，但似乎仍然无法正确。任何帮助将不胜感激，谢谢。

#include<iostream>
using std::cout; using std::endl; using std::ostream;
//////////////////////////////////////////////
//Base stuff
class Base
{
public:
  Base(int i=2):bval(i){}
  virtual ~Base()=default;
  virtual auto debug(ostream& os=cout)const->ostream&;

private:
  int bval=0;
};

auto Base::debug(ostream& os) const->ostream&
{
  os << "bval: " << bval << endl;
  return os;
}

///////////////////////////////////////////////
//Derived stuff
class Derived : public Base
{
public:
  Derived(int i=2,int j=3):Base(i), dval(j){}
  ~Derived()=default;

  auto debug(ostream& os=cout) const override final->ostream&; // error here

private:
  int dval=0;
};

auto Derived::debug(ostream& os) const override final->ostream&
{
  os << "dval: " << dval << endl;
  return os;
}

///////////////////////////////////////////////
//Testing!
int main()
{
  Base b(42);
  b.debug()<<endl;
  return 0;
}

Answer 1

正确的语法应该是：

1. override和final应该出现在成员函数声明之后，包括尾随返回类型规范，即

   auto debug(ostream& os=cout) const ->ostream& override final;
   

2. override并且final不应与类定义之外的成员函数定义一起使用，因此只需删除它们：

   auto Derived::debug(ostream& os) const ->ostream&
   {
     os << "dval: " << dval << endl;
     return os;
   }