冲突声明

除非另有说明，否则两个声明不能（重新）引入相同的实体。如果存在此类声明，则程序是非良构的。

struct A
{
    friend void c();   // #1
};
 
struct B
{
    friend void c() {} // corresponds to, and defines, #1
};
 
typedef int Int;
 
enum E : int { a };
 
void f(int);   // #2
void f(Int) {} // defines #2
void f(E) {}   // OK, another overload
 
struct X
{
    static void f();
    void f() const;   // error: redeclaration
 
    void g();
    void g() const;   // OK
    void g() &;       // error: redeclaration
 
    void h(this X&, int);
    void h(int) &&;   // OK, another overload
 
    void j(this const X&);
    void j() const &; // error: redeclaration
 
    void k();
    void k(this X&);  // error: redeclaration
};

[编辑] 同一实体的多次声明

如果声明的名称是 _ 并且它声明了以下内容，则该声明是名称独立的

具有自动存储期的变量，
没有存储类说明符且不驻留在命名空间作用域中的结构化绑定，
结果绑定，
通过带有初始值设定项的 lambda 捕获引入的变量，或者
非匿名联合体的非静态数据成员。

(自 C++26 起)

除非另有说明，如果满足以下所有条件，则实体的两个声明声明相同的实体，考虑到未命名类型的声明引入其用于链接目的的 typedef 名称和枚举名称（如果存在）

它们对应。
它们具有相同的目标作用域，该作用域不是函数参数作用域或模板参数作用域。

两者都不是名称独立的声明。

(自 C++26 起)

满足以下条件之一

它们出现在同一个翻译单元中。

它们都声明了具有模块链接的名称，并且附加到同一个模块。

(自 C++20 起)

它们都声明了具有外部链接的名称。

如果可以从实体或 typedef 名称 X 的声明访问另一个 X 的声明，则该声明是 X 的重新声明；否则，它是 X 的首次声明。

[编辑] 限制

如果实体 E 的任何两个声明违反了下面对应的限制，则程序是非良构的

如果一个声明 E 为变量，则另一个也必须声明 E 为相同类型的变量。
如果一个声明 E 为函数，则另一个也必须声明 E 为相同类型的函数。
如果一个声明 E 为枚举器，则另一个也必须声明 E 为枚举器。
如果一个声明 E 为命名空间，则另一个也必须声明 E 为命名空间。
如果一个声明 E 为类类型，则另一个也必须声明 E 为类类型。
如果一个声明 E 为枚举类型，则另一个也必须声明 E 为枚举类型。
如果一个声明 E 为类模板，则另一个也必须声明 E 为具有等价模板参数列表的类模板（参见函数模板重载）。
如果一个声明 E 为函数模板，则另一个也必须声明 E 为具有等价模板参数列表和类型的函数模板。

如果一个声明 `E` 为别名模板，则另一个也必须声明 `E` 为具有等价模板参数列表和 type-id 的别名模板。	(自 C++11 起)
如果一个声明 `E` 为变量模板（或变量模板的部分特化），则另一个也必须声明 `E` 为具有等价模板参数列表和类型的变量模板（或变量模板的部分特化）。	(自 C++14 起)
如果一个声明 `E` 为概念，则另一个也必须声明 `E` 为概念。	(自 C++20 起)

类型在所有类型调整后进行比较（在此期间 typedefs 被其定义替换）。数组对象的声明可以指定数组类型，这些类型因主要数组边界的存在与否而异。如果两个声明都无法从另一个声明访问，则不需要诊断。

void g();      // #1
void g(int);   // OK, different entity from #1 (they do not correspond)
int g();       // Error: same entity as #1 with different type
 
void h();      // #2
namespace h {} // Error: same entity as #2, but not a function

如果声明具有内部链接的名称的声明 H 在另一个翻译单元 U 中的声明 D 之前，并且如果它出现在 U 中将声明与 D 相同的实体，则程序是非良构的。

[编辑] 潜在冲突声明

如果两个声明对应但声明了不同的实体，则它们潜在冲突。

如果在任何作用域中，名称绑定到两个潜在冲突的声明 A 和 B，B 不是名称独立的(自 C++26 起)，并且 A 在 B 之前，则程序是非良构的

void f()
{
    int x, y;
    void x(); // Error: different entity for x
    int y;    // Error: redefinition
}
 
enum { f };   // Error: different entity for ::f
 
namespace A {}
namespace B = A;
namespace B = A; // OK, no effect
namespace B = B; // OK, no effect
namespace A = B; // OK, no effect
namespace B {}   // Error: different entity for B
 
void g()
{
    int _;
    _ = 0; // OK
    int _; // OK since C++26, name-independent declaration
    _ = 0; // Error: two non-function declarations in the lookup set
}
 
void h ()
{
    int _;        // #1
    _ ++;         // OK
    static int _; // Error: conflicts with #1 because
                  // static variables are not name-independent
}

[编辑] 缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
CWG 279 (P1787R6)	C++98	尚不清楚是否可以重新声明未命名的类或枚举如果它具有用于链接目的的 typedef 名称，则可以重新声明	它可以被重新声明
CWG 338 (P1787R6)	C++98	尚不清楚是否可以重新声明未命名的枚举如果它具有作为链接目的名称的枚举器，则可以重新声明	它可以被重新声明
CWG 1884 (P1787R6)	C++98	应用于多次的限制同一实体的声明不清楚	已明确

编译器支持
独立和宿主式
语言
标准库
标准库头文件
具名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
诊断库
内存管理库
元编程库 (C++11)
通用工具库
容器库
迭代器库
范围库 (C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库 (C++17)
并发支持库 (C++11)
执行控制库 (C++26)
技术规范
符号索引
外部库

cppreference.cn

命名空间

变体

视图

操作

冲突声明

目录

[编辑] 对应声明

[编辑] 对应函数重载

[编辑] 对应函数模板重载

[编辑] 同一实体的多次声明

[编辑] 限制

[编辑] 潜在冲突声明

[编辑] 缺陷报告

导航

工具箱