c++ - 变量模板可以推断类型吗？

Question

c++14引入了变量模板，所以我可以这样做：

template <typename T>
const auto PI = std::acos(static_cast<T>(-1));

现在，当使用这个变量时，可以推断出类型吗？例如：

const auto TWO_PI = 2.0F * PI;

在这里，我希望PI<float>编译器似乎应该能够推断出这一点。为什么编译器不会为我选择这个？

Answer 1

不，这是不可能的。*

---

*有一个丑陋的选择，但我建议不要使用它：

template <typename T> const auto pi = std::acos(static_cast<T>(-1));

struct auto_pi_t {} auto_pi;

template <typename T> auto operator+(T a, auto_pi_t)
{return a + pi<std::conditional_t<std::is_floating_point_v<T>, T, double>>;}
template <typename T> auto operator+(auto_pi_t, T a)
{return pi<std::conditional_t<std::is_floating_point_v<T>, T, double>> + a;}
// For similar overloads for all plausible operators.