2

前段时间,当我想编写一个is_callable<F, Args...>trait 时,我对某些代码的以下行为感到困惑。重载解析不会调用通过非常量 ref 接受参数的函数,对吗?为什么它不拒绝以下因为构造函数想要一个Test&?我预计它会采取f(int)

struct Test {
  Test() { }

  // I want Test not be copyable from rvalues!
  Test(Test&) { }

  // But it's convertible to int
  operator int() { return 0; }
};

void f(int) { }
void f(Test) { }

struct WorksFine { };
struct Slurper { Slurper(WorksFine&) { } };
struct Eater { Eater(WorksFine) { } };

void g(Slurper) { }
void g(Eater) { } // chooses this, as expected

int main() {
  // Error, why?
  f(Test());

  // But this works, why?
  g(WorksFine());
}

错误信息是

m.cpp: In function 'int main()':
m.cpp:33:11: error: no matching function for call to 'Test::Test(Test)'
m.cpp:5:3: note: candidates are: Test::Test(Test&)
m.cpp:2:3: note:                 Test::Test()
m.cpp:33:11: error:   initializing argument 1 of 'void f(Test)'

你能解释一下为什么一个有效而另一个无效吗?

4

2 回答 2

3

重载解析选择与提供的参数最匹配的函数。你提供了一个测试。无需转换——使用身份转换。因此函数解析选择 f(Test)。无法从您提供的 rvalue 复制测试,但重载解析已经成功...从不检查转换为 int。

g(Eater)选择是因为类型不完全匹配,没有使用恒等转换,编译器必须找到一个有效的转换例程。 g(Slurper)不是因为您无法从提供的参数中得出一个。

“为什么这个不失败:struct A { operator int(); }; void f(A&); void f(int); void g() { f(A()); }

因为 f(A&) 对于提供的参数来说不是一个可行的重载。在这种情况下,参数是一个引用,并且 temps 不绑定到非 const 的事实允许影响解析。在这种情况下,它确实如此,并且该功能的版本成为非候选者,只留下一个并且它可以工作。

于 2011-01-16T09:58:09.677 回答
0

基本上,对于重载决议,假设 A 类型的对象可以转换为 A 类型的对象,而不管两者中的任何一个的任何 cv 限定。

从草案 n1905:

13.3.3.1:重载.重载分辨率.最佳可行函数.隐式转换序列

6当参数类型不是引用时,隐式转换序列模拟参数表达式中参数的复制初始化。隐式转换序列是将参数表达式转换为参数类型的右值所需的序列。[注意:当参数具有类类型时,这是为第 13 条定义的概念转换;实际的初始化是根据构造函数定义的,而不是转换。—结束注释]顶级 cv 限定的任何差异都包含在初始化本身中,并且不构成转换。 [例子: A 类型的参数可以从 const A 类型的参数初始化。这种情况的隐式转换序列是恒等序列;它不包含从 const A 到 A 的“转换”。 —结束示例]当参数具有类类型并且参数表达式具有相同类型时,隐式转换序列是身份转换。[...]

于 2011-01-16T11:02:04.650 回答