三元运算符和函数签名答案

【问题标题】：Ternary operator and function signature三元运算符和函数签名
【发布时间】：2012-10-14 13:08:32
【问题描述】：

假设我有一个包含两个函数的 C++ 类

class MyClass
{
    bool Foo(int val);
    bool Foo(string val);
}

能不能像这样使用三元运算符

MyClassInstance->Foo(booleanValue?24:"a string");

并根据booleanValue的值调用不同的MyClass函数？

【问题讨论】：

【解决方案1】：

不使用三元运算符。三元表达式的类型是它的第二个和第三个操作数的通用类型；如果他们没有共同的类型，你就不能使用它。所以只需使用普通的if 语句：

if (booleanValue)
    MyClassInstance->Foo(24);
else
    MyClassInstance->Foo("a string");

【讨论】：

【解决方案2】：

三元条件表达式的类型是两个操作数都可转换的通用类型二。您绝对可以不按照您的建议执行“动态重载解决方案”。

由于int 和char const * 没有通用类型，因此代码甚至无法编译（正如您在测试时肯定注意到的那样）。

（您可能会很高兴知道使用三元条件正是因为 std::common_type 特征类模板的实现中的这些语义，以及 decltype。）

（如果条件是已知的静态，例如sizeof(int) != 7，那么您可以使用模板特化来编写外观相似的代码，确实执行条件重载解析，但当然是静态的。）

【讨论】：

【解决方案3】：

没有。为了执行重载解析，编译器会询问“booleanValue?24:"a string" 的类型是什么？”。这个问题无法回答。

【讨论】：

【解决方案4】：

不，这是不允许的。

重载是编译时的，所以它不能在运行时那样工作。

在您想要完全这样做的代码中并不常见，但有时对于 iostream，您希望执行以下操作：

os << ( condition ? var1 : var2 )

其中 var1 和 var2 具有不同的类型。这也行不通。

你可以这样做：

MyClassInstance->Foo( booleanValue ? boost::any(24) : boost::any("a string") );

【讨论】：