C++先inline声明再非inline定义，函数仍为inline吗？求标准依据

咱们先聚焦你给出的代码场景：

inline void f(); 
void f() {}

首先直接给结论：函数f仍然会被视为inline函数，而且这个写法是完全合法的。

接下来咱们从C++标准的角度找依据：

你已经注意到了C标准（C17及之前的[dcl.inline]/6，C++20对应[basic.def.spec]/10）里的反向规定：

若函数或变量的定义出现在其首次inline声明之前，则程序是病态的。

那正向场景（先inline声明，后无inline的定义）的依据在哪里呢？

其实看[dcl.inline]的核心条款就能推导出来：

• 标准明确说明，带inline说明符的函数声明会将该函数标记为inline函数（C17 [dcl.inline]/2，C20 [dcl.inline]/2）。一旦某个函数在翻译单元中被声明为inline，这个属性就绑定到该函数本身，而非单次声明。
• 标准允许同一翻译单元内的后续声明（包括定义）省略inline说明符，只要首次声明已经标记了inline。反过来，如果首次声明没有inline，后续再加inline是不允许的（也就是你提到的反向病态情况）。
• 另外，[dcl.inline]/4（C++17）要求：inline函数必须在每个odr使用它的翻译单元中定义，且所有定义必须完全一致。你的代码场景完全符合这个要求——先inline声明，再提供定义，定义本身会被视为inline函数的一部分。

可能你之前没找到直接的“正向条款”，是因为标准没有单独写一句“先inline声明后无inline定义则函数仍为inline”，但通过对inline属性的定义、声明一致性的要求，以及反向条款的对比，能明确推导这个结论。

举个类比：就像你先声明extern int x;，后续定义int x = 5;，x仍然是外部链接的变量——属性是由首次声明确立的，后续定义不需要重复指定。

内容的提问来源于stack exchange，提问作者user42768