使用 decltype() 和三元运算符有条件地选择类型

我有一个文件a.cpp:

#include <bits/stdc++.h>

using namespace std;

int main(){
    int a=5;
    double b=4.3;
    decltype(a>b?a:b) n;
    cout << typeid(n).name();   
}

上述代码的输出是d但我希望它是i因为“a”大于“b”

我正在尝试了解 decltype。你能告诉我这里缺少什么吗？

我正在使用 gcc 版本 6.3.0 (MinGW.org GCC-6.3.0-1)。

C++ 是一种静态类型语言。

这意味着，事物的类型不能取决于运行时标准。

由于这个原因，表达式a>b?a:b将始终评估为相同类型的值。这是条件运算符规则的一部分。

在这种情况下，“相互兼容类型”（这个术语是我杜撰的）是double，所以你总是会得到double（见规则here).

If a赢得条件，它是从int to double，除了在decltype您的代码是“未评估的上下文”（因为运行时没有任何内容可能影响结果），因此甚至不执行条件，仅根据条件运算符的参数类型计算可能的结果类型。如果有多种可能的结果类型，那么代码将是不明确的，并且您的程序将无法编译。

你可以通过像这样的魔法来获得这种行为std::variant，但请考虑一下您是否really需要/想要它。