编译期获取静态std::array元素索引失败（运行时存储访问错误）

问题根源 #

你的代码存在多个阻断编译期求值的问题，逐一拆解：

1. 结构体构造与成员访问错误

   • myStruct构造函数初始化列表中，Name{}未正确传入参数IniName，应改为Name(IniName)；
   • 后续代码错误访问ar[i].IniName，但结构体成员实际名为Name，属于拼写错误。

2. 全局数组非constexpr
   要在编译期将数组传递给constexpr函数，数组必须声明为constexpr。但你的ar_Structs只是普通全局变量，且因包含std::string成员无法成为constexpr对象——std::string在C20之前完全不支持constexpr上下文，即使C20也有严格限制，直接使用会阻断编译期初始化。

3. 函数逻辑与static_assert错误

   • findIndexOf函数中提前写了return 1;，导致后续循环查找逻辑完全不执行；
   • static_assert(false)是编译期常量断言，无论函数是否在编译期求值，都会触发编译错误。static_assert的条件必须依赖模板参数或其他编译期可变条件，才能仅在运行期求值分支触发。

4. strcmp的constexpr限制
   标准库strcmp在C20才成为constexpr函数，若使用更早的C版本，需自行实现constexpr字符串比较逻辑。

修复后的代码 #

以下代码基于C20实现（兼容C17只需替换constexpr strcmp为自定义实现）：

#include <iostream>
#include <array>
#include <cstring>

struct myStruct {
    const char* Name = nullptr;
    const char* Value = nullptr; // 替换std::string为const char*，支持constexpr
    // 修正构造函数初始化逻辑
    constexpr myStruct(const char* iniName, const char* value) 
        : Name(iniName), Value(value) {}
};

// 将数组声明为constexpr，确保编译期可访问
constexpr std::array<myStruct, 2> ar_Structs = {
    myStruct("Name1", "Value1"),
    myStruct("Name2", "Value2")
};

template <class X>
constexpr int findIndexOf(const X& ar, const char* nameToSearchFor) {
    // 用依赖模板参数的条件实现static_assert，仅在运行期求值时触发
    if (!std::is_constant_evaluated()) {
        static_assert(!std::is_same_v<X, X>, "Not evaluated at compile time");
    }

    for (size_t i = 0; i < ar.size(); ++i) {
        // C++20起strcmp支持constexpr
        if (std::strcmp(nameToSearchFor, ar[i].Name) == 0) {
            return static_cast<int>(i);
        }
    }

    return -1;
}

int main() {
    // 编译期求值，成功获取索引0
    constexpr auto Pos1 = findIndexOf(ar_Structs, "Name1");
    static_assert(Pos1 == 0, "Compile-time index lookup failed");
    std::cout << Pos1 << std::endl;
    return 0;
}

关键修改说明 #

• 将myStruct的Value类型改为const char*，确保结构体可被constexpr初始化；
• 把全局数组ar_Structs声明为constexpr，允许编译期访问；
• 修正构造函数和成员访问的拼写错误；
• 移除findIndexOf中的提前return语句，实现正确的循环查找逻辑；
• 修改static_assert的条件为!std::is_same_v<X, X>，这是依赖模板参数的false值，仅在运行期求值分支触发编译错误；
• 若使用C++17，需替换std::strcmp为自定义constexpr字符串比较函数，示例如下：

  constexpr bool constexprStrCmp(const char* a, const char* b) {
      while (*a && *b) {
          if (*a != *b) return false;
          ++a; ++b;
      }
      return *a == *b;
  }
  

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