确认模板化constexpr变量代码是否符合C++17标准合法性的技术问询

Let's dig into why your code works with GCC and MSVC but fails with Clang and Intel Compiler, and whether it's actually compliant with C++17.

First, here's your code for reference:

#include <iostream>
template<int N> inline constexpr float MyConst;
template<> inline constexpr float MyConst<1> = 1.1f;
template<> inline constexpr float MyConst<2> = 2.2f;
int main () {
    std::cout << MyConst<1> << '\n';
    return 0;
}

The Core Issue #

The problem boils down to how compilers handle the primary variable template line: template<int N> inline constexpr float MyConst;

C++17 Standard Rules

• constexpr variables require initialization: Per the C++17 standard, every constexpr variable (including instances of a constexpr variable template) must have an initializer.
• inline variable templates are definitions: For inline variable templates, the standard states they must be defined in every translation unit where they're used, and that definition must be consistent. A declaration with inline for a variable template is treated as a definition in most cases.

Compiler Behavior Split

• GCC & MSVC: These compilers take a more permissive approach, treating the primary inline constexpr line as a declaration (not a definition). Since you only ever use the specialized instances (MyConst<1> and MyConst<2>) which have valid initializers, they accept the code without issue.
• Clang & Intel Compiler: These compilers strictly follow the standard's interpretation that the inline constexpr primary template line is a definition. Since a constexpr variable definition can't omit an initializer, they throw the "missing initializer" error you saw.

Is This Code Valid C++17? #

Strictly speaking, no—the code violates C++17's requirements. The primary inline constexpr variable template is a definition without an initializer, which breaks the rule that all constexpr variables must be initialized. The permissive behavior of GCC and MSVC is an extension or leniency, not standard-compliant.

Fixing the Code for All Compilers #

To make your code valid across all C++17-compliant compilers, use one of these approaches:

Option 1: Add a Default Initializer to the Primary Template

If you want the primary template to work for other values of N, provide a default initializer:

#include <iostream>
template<int N> inline constexpr float MyConst = static_cast<float>(N); // Default initialization
template<> inline constexpr float MyConst<1> = 1.1f;
template<> inline constexpr float MyConst<2> = 2.2f;
int main () {
    std::cout << MyConst<1> << '\n';
    return 0;
}

Option 2: Delete the Primary Template

If you only intend to use the specialized instances and want to block accidental instantiation of the primary template, mark it as deleted:

#include <iostream>
template<int N> inline constexpr float MyConst = delete; // Prevent primary template instantiation
template<> inline constexpr float MyConst<1> = 1.1f;
template<> inline constexpr float MyConst<2> = 2.2f;
int main () {
    std::cout << MyConst<1> << '\n';
    return 0;
}

Both of these fixes will compile cleanly in GCC, MSVC, Clang, and Intel Compiler when using C++17.

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