7

我最近在尝试使用完美的转发构造函数实现类层次结构时遇到了一个问题。考虑以下示例：

struct TestBase {
  template<typename T>
  explicit TestBase(T&& t) : s(std::forward<T>(t)) {} // Compiler refers to this line in the error message

  TestBase(const TestBase& other) : s(other.s) {}

  std::string s;
};

struct Test : public TestBase {
  template<typename T>
  explicit Test(T&& t) : TestBase(std::forward<T>(t)) {}

  Test(const Test& other) : TestBase(other) {}
};

当我尝试编译代码时，出现以下错误：

错误 3 错误 C2664: 'std::basic_string<_Elem,_Traits,_Alloc>::basic_string(const std::basic_string<_Elem,_Traits,_Alloc> &)' : 无法将参数 1 从 'const Test' 转换为 'const std ::basic_string<_Elem,_Traits,_Alloc> &'

我的理解是编译器将完美的转发构造函数视为比复制构造函数更好的数学。参见例如Scott Meyers: Copying Constructors in C++11。在其他没有类层次结构的实现中，我可以通过 SFINAE 禁用完美转发构造函数作为复制构造函数。例如，参见Martinho Fernandes：转发构造函数的一些陷阱。当我尝试将上述解决方案应用于此示例时，我仍然无法使用相同的错误消息进行编译。

我认为一种可能的解决方案是避免完美转发，在构造函数中按值获取参数，而不是从它们移动到类变量。

所以我的问题是这个问题是否有其他解决方案，或者在这种情况下是否不可能完美转发？

更新： 原来我的问题很容易被误解。所以我会试着澄清一下我的意图和背景。

  • 代码是完整的，就像问题中发布的一样。没有创建其他对象或调用函数。尝试编译发布的示例时出现错误。
  • 拥有完美的转发构造函数的目的是用于成员初始化，而不是拥有某种额外的复制构造函数。这里的原因是在使用临时对象初始化成员时保存一些对象副本（正如 Scott Meyers 在会谈中提出的那样）
  • 不幸的是，事实证明，完美的转发构造函数可能与其他重载的构造函数发生冲突（在此示例中为复制构造函数）。
  • 就像建议的这个问题的答案和评论一样：这里可能的解决方案是引入显式强制转换或具有单独的非模板构造函数（即，关于具有两个分别带有参数const string&和的构造函数的示例string&&）。
4

3 回答 3

2

尝试更改Test(const Test& other) : TestBase(other) {}为Test(const Test& other) : TestBase(static_cast<TestBase const&>(other)) {}

第二个Test构造函数调用TestBase，有两种可能。其中一个需要任何东西，另一个需要一个TestBase。但是你正在通过一个测试——“任何东西”匹配得更好。通过显式转换为 TestBase const&，我们应该能够得到正确的匹配。

另一种可能性可能涉及如何构造 Test —— 也许您传入的内容与模板构造函数匹配到 Test ？我们可以通过从 Test 中删除模板构造函数并查看错误是否消失来测试另一种可能性。

如果是这种情况，为什么您链接的技术（在推断的类型与 Test 匹配时禁用 Test 模板构造函数）不起作用？

于 2012-10-31T15:18:49.430 回答
1

让我们仔细看看错误信息。

std::basic_string<...>::basic_string(const std::basic_string<...> &) :

这意味着它适用于std::string

cannot convert parameter 1 from 'const Test' to 'const std::basic_string<..> &

确实，没有办法从 转换Test为std::string。但是，Test有一个字符串成员，即std::string s;.

结论：看起来你忘了.s在那个地方添加。大概，它在s(std::forward<T>(t)).

另一个可能的原因是构造函数的第一个重载被选中而不是第二个用于复制构造Test.

于 2012-10-31T15:12:44.327 回答
1

以下应该可以工作，并且它不使用显式强制转换：

struct Test : public TestBase {
  private: 
  static TestBase const& toBase(const Test& o) { return o; }

  public:
  template <typename T>
  explicit Test(T&& t) : TestBase(std::forward<T>(t)) {}

  Test(const Test& other) : TestBase(toBase(other)) {} 
};
于 2012-10-31T15:47:53.260 回答