为何编译C++代码时会触发“Child has a base whose type uses the anonymous namespace”（-Wsubobject-linkage）警告？

先直接拆解这个警告的核心：你的Child类继承的基类Base<(&hello)>，其类型依赖了一个具有内部链接属性（internal linkage）的对象hello，这会导致潜在的ODR（One Definition Rule）违反风险。

为什么会触发这个警告？ #

在你的代码里：

1. 头文件child.hh中定义了constexpr char const hello[] = "Hello world!";——在C++中，constexpr修饰的对象默认具有内部链接属性，这意味着每个包含该头文件的编译单元（比如如果有另一个文件也包含child.hh）都会生成一个独立的hello实例，它们的内存地址互不相同。
2. 模板Base的参数是指针类型char const *s，所以Base<hello>实际实例化为Base<&hello>——这里的模板参数是hello的地址。由于每个编译单元的hello地址不同，不同编译单元里的Base<&hello>其实是不同的模板实例类型。
3. Child类继承了这个基类，这就导致：如果多个编译单元都包含child.hh，每个编译单元中的Child类都会继承自不同的Base实例，违反了ODR规则（同一个类应该只有一个定义）。编译器通过-Wsubobject-linkage警告你这个潜在的问题。

为什么这些情况不会触发警告？ #

• 模板参数为int类型时：模板参数是值而非指针，只要值相同，无论这个值来自哪个编译单元的变量，模板实例化出来的类型都是完全一致的，不会有ODR问题，因此编译器不会警告。
• 把child.hh内容直接复制到main.cc中时：整个代码属于同一个编译单元，只会生成一个hello实例，Base<&hello>的类型是唯一的，Child类的定义也只有一份，不存在ODR风险，所以警告消失。

如何解决这个警告？ #

要让所有编译单元中的hello指向同一个实例，给它外部链接属性即可，有两种常见方式：

方式1：使用extern声明+单独文件定义

1. 在child.hh中声明hello：

   extern constexpr char const hello[];
   

2. 在一个单独的.cc文件（比如child.cc）中定义hello：

   #include "child.hh"
   constexpr char const hello[] = "Hello world!";
   

方式2：使用C++17的inline变量（更简洁）

直接在child.hh中定义inline的constexpr变量，这样编译器会保证整个程序中只有一个hello实例：

#pragma once
#include "base.hh"
inline constexpr char const hello[] = "Hello world!";
class Child : public Base<hello> {
};

这样修改后，所有编译单元中的Base<hello>都会指向同一个hello实例，Child类的定义也会保持一致，警告就会消失，同时避免了ODR违反的风险。

内容的提问来源于stack exchange，提问作者alexandre-tsu-manuel