主页 / 问题 / 1409129
Accepted
isnullxbh
Asked:2022-07-12 22:40:23 +0000 UTC2022-07-12 22:40:23 +0000 UTC

模板类特化的函数成员声明

  • 772

编译 MySQL c-std=c++20时出现以下错误：error: expected unqualified-id before ')' token。

有问题的代码部分：

template<std::size_t N>
class Bitmap { ... };

template<>
class Bitmap<64>
{
public:
    Bitmap<64>() { ... };
    //........^
};

由于模板类的完全特化的声明与普通类的声明相同，因此还必须使用通常的语法来声明模板类的特化的成员函数：

template<>
class Bitmap<64>
{
public:
    Bitmap() { ... };
};

不幸的是，我在标准中找不到对上述内容的“直接”确认（或反驳），所以我请求您的帮助。

我试过用 GCC 和 Clang 编译这段代码。后者不会在 C++17 或 C++20 中引发错误。带有 C++17 的 GCC 也可以无错误地构建代码。有趣的是，将代码更改为：

template<>
class Bitmap
{
public:
    explicit Bitmap<64>() { ... };
};

导致 GCC 即使使用-std=c++20. 这看起来已经像是编译器中的一个错误。

c++

1 个回答

  1. Best Answer

    这个变更日志似乎回答了这个问题：

    受影响的子条款： [class.ctor] 和 [class.dtor]
    更改： simple-template-id 不再作为构造函数或析构函数的 declarator-id 有效。
    基本原理：删除可能容易出错的冗余选项。
    对原始功能的影响：有效的 C++ 2017 代码可​​能无法在此 C++ 版本中编译。例如：

    template<class T>
struct A {
  A<T>();           // error: simple-template-id not allowed for constructor
  A(int);           // OK, injected-class-name used
  ~A<T>();          // error: simple-template-id not allowed for destructor
};

    也就是说，C++20 要求使用注入的类名来声明类模板构造函数/析构函数。

    • 3

相关问题