为什么自动类型推导不适用于 constexpr 成员引用？

Question

在示例代码中，用 C++17 编译：

template <typename T = int>
struct A
{
    static constexpr double b = 0.5;
};

int main()
{
    A a;  // compiles
    double c = A<>::b; // compiles
    double d = A::b; // fails to compile
    // ...
    return 0;
}

Live example

A::b 编译失败，因为：

main.cpp:13:16: error: 'template<class T> struct A' used without template arguments
   13 |     double d = A::b; // fails to compile

我认为在 C++17 中自动模板类型推导会解决这个问题，因为我有默认模板参数。我错过了什么？

Answer 1

每个实例化的类实例都有自己的A<T>::b 成员。

#include <iostream>

template <typename T = int>
struct A
{
    static constexpr double b = 0.5;
};

int main()
{
    std::cout << &A<int>::b << "\n"; 
    std::cout << &A<char>::b << "\n"; 
    return 0;
}

使用 clang++13 编译，带有选项 -std=c++17。输出：

0x402008
0x402018

想想A::b是否可以编译，编译器会选择哪个地址。

活生生的例子https://godbolt.org/z/GqhjMvoz6

至于使用默认模板参数编译double d = A::b;失败，这是规则，模板必须实例化使用尖括号<, >。