c++ - constexpr 的推导类型是什么？

Question

#include <iostream>
#include <string>

void foo(int& k) { std::cout << "int&\n"; }
void foo(int&& k) { std::cout << "int&&\n"; }
void foo(const int& k) { std::cout << "const int&\n"; }
void foo(const int&& k) { std::cout << "const int&&\n"; }    
int main() {
  static  constexpr int k = 1;
  foo(k);
  foo(1);
}

输出是:

const int&
int&&

constexpr 变量究竟被视为什么？foo 的重载给出了 const int&。

编辑:继续将 constexpr 推导为 const T&;

为什么类范围内的 constexpr 无法传递给采用通用引用的函数？!

#include <type_traits>

template <typename T>
void goo(T&& k) {
  static_assert(std::is_same<decltype(k), const int&>::value, "k is const int&");
}

class F {
  static  constexpr int k = 1;
public:
  void kk2 () { goo(k); }
};

int main () {
  F a;
  a.kk2();
}

以上编译失败给出错误 undefined reference to F::k但是以下通过:

#include <type_traits>

template <typename T>
void goo(T&& k) {
  static_assert(std::is_same<decltype(k), const int&>::value, "k is const int&");
}

int main() {
  static  constexpr int k = 1;
  goo(k);
}

Answer 1

N3337 [dcl.constexpr]/9: A constexpr specifier used in an object declaration declares the object as const. [...]

由于您将 k 声明为 constexpr，它也被声明为 const，因此 const int& 是在过载决议中选择。