如何使用变量模板来比较 C++ 17 中的变量类型？

Question

我有这段漂亮的代码，它使用C++14s 变量模板：

#include <typeinfo>

template<typename T, typename U> 
constexpr bool same_type = false; 

template<typename T> 
constexpr bool same_type<T,T> = true; 

int main() {
    bool f = same_type<int, bool>; // compiles. Evals to false.
    bool t = same_type<int, int>; // compiles. Evals to true.
    int a; 
    int b;
    return same_type<typeid(a), typeid(a)>; // does not compile.
}

它检查两种类型是否相同。 我喜欢这个，但如果我必须自己传入类型，而不是从某些变量中派生出来，这对我来说似乎毫无用处。

有没有办法使这项工作？ 我原以为typeid(x)类的东西可能会奏效。

Answer 1

same_type<decltype(a), decltype(a)> 。

请注意，标准库已经具有此功能，称为std::is_same_v<...> 。