编译时验证定长字符串数组排序：strncmp模板方法异常问题

现象 #

• 直接引用全局定长字符串数组的constexpr验证函数，任意N值均可正常编译：

#include <cstring>

#define N 8 // 可修改N的值

const char STRINGS[][N] = {"a", "b", "c"};

constexpr bool is_sorted_global() {
    for (int i = 0; i < sizeof(STRINGS) / N - 1; i++) {
        if (strncmp(STRINGS[i], STRINGS[i + 1], N) > 0) {
            return false;
        }
    }

    return true;
}

int main()
{
    static_assert(is_sorted_global(), "list is not sorted");
}

• 使用模板函数接收数组参数时，仅当N≤8时正常工作，N>8（如N=9）会触发编译错误：

#include <cstring>

#define N 9

const char STRINGS[][N] = {"a", "b", "c"};

template<const char T[][N]>
constexpr bool is_sorted_t() {
    for (int i = 0; i < sizeof(T) / N - 1; i++) {
        if (strncmp(T[i], T[i+1], N) > 0) {
            return false;
        } 
    }

    return true;
}

int main()
{
    static_assert(is_sorted_t<STRINGS>(), "list not sorted");
}

编译错误信息 #

C:\msys64\mingw64\bin\g++.exe -fdiagnostics-color=always -g C:\Projects\helloworld\helloworld.cpp -o C:\Projects\helloworld\helloworld.exe

C:\Projects\helloworld\helloworld.cpp: In function 'int main()':
C:\Projects\helloworld\helloworld.cpp:34:39: error: non-constant condition for static assertion
   34 |     static_assert(is_sorted_t<STRINGS>(), "list is not sorted");
      |                   ~~~~~~~~~~~~~~~~~~~~^~
C:\Projects\helloworld\helloworld.cpp:34:39:   in 'constexpr' expansion of 'is_sorted_t<(& STRINGS)>()'
C:\Projects\helloworld\helloworld.cpp:23:25: error: 'strncmp(((const char*)(& STRINGS)), (((const char*)(& STRINGS)) + 9), 9)' is not a constant expression
   23 |         if (std::strncmp(T[i], T[i + 1], N) > 0) {
      |             ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~

需求 #

需要将N设为16，且存在多个全局STRINGS数组需验证，希望通过函数模板实现批量静态断言验证。

问题根源 #

1. 标准库strncmp的constexpr限制：GCC的strncmp实现仅对长度≤8的字符串提供了constexpr分支优化，当字符串长度超过8时，会调用非constexpr的通用实现，无法在编译期求值。
2. 模板参数的数组退化问题：原模板中template<const char T[][N]>等价于template<const char (*T)[N]>，T实际是指针而非数组，导致sizeof(T)获取的是指针大小而非数组总大小，原代码中sizeof(T)/N的计算逻辑本质是错误的，仅在N=8时巧合得到了正确的循环次数（指针大小8/8=1，循环次数0，直接返回true）。

方案1：自定义constexpr字符串比较+显式模板参数传递 #

实现完全在编译期运行的字符串比较函数，同时传递数组的维度信息到模板中：

#include <cstddef>

// 自定义constexpr版字符串比较，替代strncmp
constexpr int constexpr_strncmp(const char* a, const char* b, size_t n) {
    for (size_t i = 0; i < n; ++i) {
        if (a[i] != b[i]) {
            return static_cast<unsigned char>(a[i]) - static_cast<unsigned char>(b[i]);
        }
        if (a[i] == '\0') {
            break; // 遇到结束符后无需继续比较
        }
    }
    return 0;
}

// 模板参数包含字符串长度N和数组元素个数M
template<size_t N, size_t M, const char (&T)[M][N]>
constexpr bool is_sorted_t() {
    for (size_t i = 0; i < M - 1; ++i) {
        if constexpr_strncmp(T[i], T[i+1], N) > 0) {
            return false;
        }
    }
    return true;
}

// 示例使用
#define N 16

const char STRINGS1[][N] = {"a", "b", "c"};
const char STRINGS2[][N] = {"x", "y", "z"};
const char BAD_STRINGS[][N] = {"c", "b", "a"}; // 测试错误场景

int main() {
    static_assert(is_sorted_t<N, sizeof(STRINGS1)/N, STRINGS1>(), "STRINGS1 not sorted");
    static_assert(is_sorted_t<N, sizeof(STRINGS2)/N, STRINGS2>(), "STRINGS2 not sorted");
    // static_assert(is_sorted_t<N, sizeof(BAD_STRINGS)/N, BAD_STRINGS>(), "BAD_STRINGS not sorted"); // 触发编译错误，符合预期
}

方案2：C++17 auto模板参数简化写法 #

利用C++17的auto非类型模板参数，让编译器自动推导数组类型，无需手动传递维度：

#include <cstddef>

constexpr int constexpr_strncmp(const char* a, const char* b, size_t n) {
    for (size_t i = 0; i < n; ++i) {
        if (a[i] != b[i]) {
            return static_cast<unsigned char>(a[i]) - static_cast<unsigned char>(b[i]);
        }
        if (a[i] == '\0') {
            break;
        }
    }
    return 0;
}

// 自动推导二维数组类型
template<auto& T>
constexpr bool is_sorted_t() {
    constexpr size_t N = sizeof(T[0]); // 每个字符串的长度
    constexpr size_t M = sizeof(T)/N;  // 数组中字符串的个数
    for (size_t i = 0; i < M - 1; ++i) {
        if constexpr_strncmp(T[i], T[i+1], N) > 0) {
            return false;
        }
    }
    return true;
}

#define N 16

const char STRINGS1[][N] = {"a", "b", "c"};
const char STRINGS2[][N] = {"x", "y", "z"};
const char BAD_STRINGS[][N] = {"c", "b", "a"};

int main() {
    static_assert(is_sorted_t<STRINGS1>(), "STRINGS1 not sorted");
    static_assert(is_sorted_t<STRINGS2>(), "STRINGS2 not sorted");
    // static_assert(is_sorted_t<BAD_STRINGS>(), "BAD_STRINGS not sorted"); // 触发编译错误
}

方案说明 #

1. 自定义constexpr_strncmp：不受标准库实现限制，支持任意长度的字符串在编译期比较。
2. 修正数组维度传递：避免数组退化为指针，确保能正确获取数组的行数和列数，解决原模板中的计算错误。
3. C++17 auto模板参数：进一步简化代码，无需手动指定数组维度，使用更便捷。

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