内联 constexpr 和匿名命名空间变量？

Question

我有以下问题。在 .hpp 文件中，我有一个必须使用命名空间全局变量的函数 Space::foo()，我想将其隐藏在匿名命名空间中。但现在我想知道，我是否会冒险在每个翻译单元中定义 values 并使用多个副本，或者只有一个？感谢您的帮助。这是因为我需要 Space 命名空间中的一堆函数以及一种私有数据部分（匿名命名空间的东西），因此 Space 有点像一个只有静态成员的类，但我不如果我将 .hpp 文件包含在不同的单元中，则不希望拥有这些变量的多个副本。

// .hpp file
#include <array>

namespace Space {
namespace {
  constexpr std::array<int, 10000> fill() { /* ... */ };
  inline constexpr std::array<int, 10000> values = fill();
}
  inline int foo(int i) {
    return values[i];
  }
}

Answer 1

我是否有在每个翻译单元中定义多个副本的风险

是的。您将在每个 TU 中定义一个 values。您也不能将其声明为 extern constexpr，因为 [dcl.constexpr]/1 表示“constexpr 说明符应仅应用于变量的定义”。

由于目的似乎是能够选择恒定的值已评估，因此您可以同时创建 fill 和 foo consteval 并跳过 <anonymous>::values。

namespace Space {
    namespace {
        consteval std::array<int, 10000> fill() {
            return {}; // replace with your filling algorithm
        };
    }

    inline consteval int foo(size_t i) {
        return fill()[i];
    }

    inline consteval int bar(size_t i, size_t j) {
        constexpr auto values = fill();
        return values[i] + values[j];
    }
}

这将使foo 和任何其他consteval 函数可以在fill() 中使用算法并在constexpr/consteval 情况下使用结果。

constexpr auto x = Space::bar(10, 20);