我正在尝试让编译器对一些我认为不会违反C++中的单一定义规则的代码做出反应。在头文件中,我有两个声明:一个用于结构,另一个用于函数,如下所示:
struct TestStruct {
int a;
double d;
};
int k();
然后,我有意将头文件包含在包含main()的另一个文件中两次,看看会发生什么。
令我惊讶的是,编译器抱怨该结构有多个定义。我希望编译器根本不会引发任何多重性错误,因为结构和函数都有纯声明。
只有在我把结构放在头保护中之后,编译器才会停止抱怨。但是,没有为结构分配内存。这不是一个定义。那为什么编译器会发疯呢?
发布于 2019-06-03 06:08:32
只需使用一次include guards (如果编译器可用)编译指示。
#ifndef PATH_TO_FILE_FILENAME_H
#define PATH_TO_FILE_FILENAME_H
struct TestStruct {
int a;
double d;
};
int k();
#endif
或者(如果有的话,更好!)
#pragma once
struct TestStruct {
int a;
double d;
};
int k();
也可能值得使用命名空间来避免污染全局命名空间。
#pragma once
namespace Test
{
struct TestStruct {
int a;
double d;
};
int k();
};
注意,为了避免muldefs,如果您决定在头文件中提供k()的定义,您还需要内联声明k()(如果您需要使用模板而不指定显式的模板参数,这有时是不可避免的)。
#pragma once
namespace Test
{
struct TestStruct {
int a;
double d;
};
template<typename T>
inline int k<T>() // This now has to be inline or static.
{
// Some implementation
}
};
编辑:顺便说一句,结构/类的声明和定义与函数没有太大区别:
void TestFunction(); // The compiler now knows there's a function called TestFunctionand can attempt to link the symbol information to its implementation somewhere in the compilation unit.
在这种情况下,我们没有实现函数的主要部分,只是说它存在,并且因为编译器知道签名(或者函数承诺接受并返回什么),所以它可以愉快地继续。在TestStructs情况下,转发声明(没有实现)将是
class TestStruct;
https://stackoverflow.com/questions/56419179
复制相似问题