GCC独有的const char*至bool窄化转换警告问题咨询

问题场景 #

以下代码在MSVC、Clang中可正常编译，但在GCC 12.1中会触发窄化转换警告；若将bool、int构造函数声明为explicit，GCC会直接编译失败，MSVC和Clang也会同步编译失败。

代码示例 #

#include <variant>
#include <string>

struct ref
{
    ref(int);
    ref(bool);
    ref(std::string);
    ref(std::initializer_list<ref>);

    std::variant<std::monostate, int, bool, std::string, std::initializer_list<ref>> value_;
};

struct container : public ref
{
    using ref::ref;
};


ref::ref(int init) : value_{init} {}

ref::ref(bool init) : value_{init} {}

ref::ref(std::string init) : value_{init} {}

ref::ref(std::initializer_list<ref> init) : value_{init} {}

int main()
{
    container some_container = { 1, true, 1, { {"itemA", 2}, {"itemB", true}}};
}

GCC警告信息 #

<source>: In function 'int main()':
<source>:30:49: warning: narrowing conversion of '(const char*)"itemA"' from 'const char*' to 'bool' [-Wnarrowing]
   30 |     container some_container = { 1, true, 1, { {"itemA", 2}, {"itemB", true}}};
      |                                                 ^~~~~~~
<source>:30:63: warning: narrowing conversion of '(const char*)"itemB"' from 'const char*' to 'bool' [-Wnarrowing]
   30 |     container some_container = { 1, true, 1, { {"itemA", 2}, {"itemB", true}}};
      |     

行为差异原因解析 #

1. GCC的窄化警告原因 #

根据C++标准，重载解析时标准转换序列的优先级高于用户定义转换序列。对于"itemA"这类const char*：

• 到bool的转换是标准转换（指针可隐式转换为bool，非空指针转为true）；
• 到std::string的转换是用户定义转换（需要调用std::string的构造函数），再匹配ref(std::string)属于用户定义转换序列。

GCC严格遵循这一优先级，因此优先选择ref(bool)构造函数，触发窄化转换警告。而MSVC和Clang在列表初始化的重载解析逻辑中，对用户定义转换序列的优先级处理更宽松，优先匹配了更符合预期的ref(std::string)构造函数。

2. 显式构造函数导致编译失败的原因 #

当ref(int)和ref(bool)被声明为explicit后：

• 这两个构造函数无法用于隐式转换，因此const char*无法通过隐式转换匹配它们；
• 编译器会尝试匹配ref(std::initializer_list<ref>)构造函数，因为列表初始化会优先匹配initializer_list相关构造函数；
• 但"itemA"要转换为ref，需要先通过用户定义转换转为std::string，再通过用户定义转换转为ref——C++标准不允许两次连续的隐式用户定义转换，因此无法完成匹配，最终编译失败。这一行为在MSVC、Clang和GCC中是一致的。

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