c++ - テンプレート パラメータの decltype の結果です

Question

結果はdecltypeテンプレート識別子と同じですか? (そして、T とその値を参照するときの正しい用語は何ですか?)。つまり、アサートが失敗する場合がありますか?

template<typename T>
void foo(T x)
{
  static_assert(std::is_same<decltype(x), T>::value, "decltype check failed");
}

Answer 1

変数の型xは T であるため、その static_assert は常に渡されます。