c++ - inline 或 constexpr 函数的多个定义的含义

Question

这是我对函数声明和定义的了解。如有不妥之处，欢迎指正。

// Function Declaration
// This is usually put in .h header file
int occur (const char* sentence, const char& achar);

// Function Definition
// This is usually put in .cpp
int occur (const char* sentence, const char& achar) { // do job and return }

我正在阅读“C++ Primer 第五版”。在“inline and constexpr functions @ Chapter 6.5.2 P.240”下，它说

Unlike other functions, inline and constexpr functions may be defined multiple times in the program.

我脑子里想出了这样的事情:

// function delcaration .h file
constexpr int returnfour();

// function definition in .cpp file
constexpr int returnfour () { return 4; }
constexpr int returnfour () { return 4; }

像这样有多个定义是否正确？ defined multiple times in the program 是什么意思，有人想在什么时候做？

Answer 1

Unlike other functions, inline and constexpr functions may be defined multiple times in the program.

假设你有 a.h:

inline int foo() { return 10; }
constexpr int bar() { return 20; }

现在，您将#include 文件放入几个.cpp 文件中。

文件1.cpp:

#include "a.h"

// ... other functions

文件2.cpp:

#include "a.h"

// ... other functions

int main() { return 0; }

当您编译这些文件时，函数 foo 和 bar 在 file1.cpp 的目标代码以及 file2.cpp 的目标代码中定义。当您链接这些目标代码以创建可执行文件时，foo 和 bar 各有两个定义。这是合法的。

但是，不允许在同一个编译单元中对同一个inline 函数或constexpr 函数有多个定义。

使用:

inline int foo() { return 10; }
inline int foo() { return 10; }

或

constexpr int bar() { return 20; }
constexpr int bar() { return 20; }

在单个 cpp 文件中是不合法的。