匿名命名空间中的 constexpr 字符串文字？

Question

我有以下示例代码，它使用字符串文字作为模板参数，以便基类模板可以访问该字符串。

代码编译，但我收到一个我不完全理解的警告：

警告：‘ns::bar::type’有一个基数‘ns::base' 其类型使用匿名命名空间 [由 默认]

下面的工作示例代码：

// "test.h"
#pragma once

namespace ns 
{
    template <char const* str>
    struct base
    {
        const char *name() const { return str; }
    };

    namespace bar 
    {
        static constexpr char name[] = "bar";
        struct type : base<name> {};                // <-- this line here
    }
}

// main.cpp
#include <iostream>
#include "test.h"

int main()
{
    ns::bar::type f;
    std::cout << f.name() << std::endl;
    return 0;
}

所以我的问题是：

1. 此警告是什么意思？
2. 以我在这里所做的方式将字符串文字作为模板参数传递是否安全？

（注意这是 gcc 4.7.2）

Answer 1

问题在于static constexpr char name[] = "bar"; 具有内部链接。

在标头中定义了内部链接的任何类型在包含标头的每个文件中都是不同的类型。

这很少是意图 - 因此是警告。

在源文件中执行此操作时没有警告的原因是因为该类型不能被多个文件引用 - 因此它将始终是一种类型。

Answer 2

警告是因为name 在包含test.h 的每个源文件中都有不同的地址。因为它有内部链接（static），所以每个翻译单元都会得到自己的副本；它们不会被链接器统一。这意味着您的代码相当于：

template<int> struct base { ... };
static constexpr int val = some_value_different_in_every_source_file;
struct type: base<val> {};

您的代码是合法的所提供的，但是如果您在另一个源文件中包含test.h，那么它将违反单一定义规则：

3.2 一个定义规则[basic.def.odr]

[...]
6 - 可以有多个类类型的定义[...]提供[...]：[...]

• 在D 的每个定义中，对应的名称[...] 可以引用一个常量对象 具有内部链接或无链接 [仅] 如果 [...] 使用对象的值（但不是地址）[...]

您在类类型的定义中使用具有内部链接的对象的 地址，因此在多个翻译单元中使用它是未定义的行为。