条件运算符无法解析重载的成员函数指针
-
07-07-2019 - |
题
我在处理 C++ 中重载成员函数的指针时遇到了一个小问题。以下代码可以正常编译:
class Foo {
public:
float X() const;
void X(const float x);
float Y() const;
void Y(const float y);
};
void (Foo::*func)(const float) = &Foo::X;
但这无法编译(编译器抱怨重载不明确):
void (Foo::*func)(const float) = (someCondition ? &Foo::X : &Foo::Y);
据推测,这与编译器将条件运算符的返回值与函数指针类型分开排序有关?我可以解决这个问题,但我很想知道规范是如何规定所有这些应该工作的,因为它看起来有点不直观,以及是否有某种方法可以解决它而不会退回到 5 行 if-then-else 。
我正在使用 MSVC++,如果这有什么区别的话。
谢谢!
解决方案
从第 13.4/1 节(“重载函数的地址”[over.over]):
在某些上下文中,不带参数的重载函数名称的使用被解析为函数、指向函数的指针或指向重载集中特定函数的成员函数的指针。函数模板名称被认为是在此类上下文中命名一组重载函数。所选函数的类型与上下文中所需的目标类型相匹配。目标可以是
- 正在初始化的对象或引用(8.5、8.5.3),
- 作业的左侧(5.17),
- 函数的参数 (5.2.2),
- 用户定义运算符的参数 (13.5),
- 函数、运算符函数或转换的返回值 (6.6.3),或
- 显式类型转换(5.2.3、5.2.9、5.4)。
重载函数名称前面可以带有
&
操作员。在未列出的上下文中,不得在没有参数的情况下使用重载函数名称。[笔记: 重载函数名称周围的任何冗余括号都将被忽略 (5.1)。]
这 目标 您希望从上面的列表中选择第一个,即正在初始化的对象。但是有一个条件运算符阻碍了这一过程,条件运算符根据其操作数而不是任何目标类型来确定其类型。
由于显式类型转换包含在目标列表中,因此您可以单独对条件表达式中的每个成员指针表达式进行类型转换。我首先创建一个 typedef:
typedef void (Foo::* float_func)(const float);
float_func func = (someCondition ? float_func(&Foo::X) : float_func(&Foo::Y));
其他提示
尝试:
void (Foo::*func1)(const float) = &Foo::X;
void (Foo::*func2)(const float) = &Foo::Y;
void (Foo::*func3)(const float) = (someCondition ? func1:func2);
问题是运算符trinary的结果类型由其参数决定。
在这种情况下,它无法确定结果类型,因为输入类型具有多个选项。直到三元运算符的类型被确定它将尝试分配。
示例:
class Foo {
public:
void X(float x) {}
void Y(float y) {}
float X() const;
};
typedef void (Foo::*Fff)(float);
Fff func = &Foo::X;
Fff func2 = true ? (Fff)&Foo::X : (Fff)&Foo::Y;
int main(){
return 0;
}
您需要立即投射& Foo :: X以解决过载问题。请注意,如果注释掉重载的浮点X(),则不需要这样做。
看起来编译器不够智能,无法推断出三元表达式所需的返回类型(这可能是一个错误)。