有没有办法在提供左值和右值重载的同时删除重复代码？

在学习 C++ 时，我决定编写一个简单的模板化二叉搜索树（bst）并遇到以下问题：我希望能够构造通过向其传递一个左值来实现 bst，例如const T &val和一个像这样的右值T &&val。同样我希望能够insert左值和右值。所以我最终得到了很多我不喜欢的重复代码：

/// copy constructor
explicit inline constexpr binary_search_tree(const T &val)
    : _root{std::make_unique<binary_search_tree_node>(val)} {}

/// move constructor
explicit inline constexpr binary_search_tree(T &&val)
    : _root{std::make_unique<binary_search_tree_node>(std::move(val))} {}

对于构造函数，其中binary_search_tree_node是私人成员binary_search_tree然后还必须提供复制和移动构造函数：

struct binary_search_tree_node {
  T value;
  std::unique_ptr<binary_search_tree_node> left;
  std::unique_ptr<binary_search_tree_node> right;

  // prohibit creation of tree_node without value
  inline constexpr binary_search_tree_node() = delete;

  /// copy constructor
  explicit inline constexpr binary_search_tree_node(const T &val)
      : value{val}, left{nullptr}, right{nullptr} {}

  /// move constructor
  explicit inline constexpr binary_search_tree_node(T &&val)
      : value{std::move(val)}, left{nullptr}, right{nullptr} {}
};

Also:

inline constexpr void insert(const T &v) {
  if (!_root) {
    _root = std::make_unique<binary_search_tree_node>(v);
    ++_size;
  } else {
    insert(_root, v);
  }
}

inline constexpr void insert(T &&v) {
  if (!_root) {
    _root = std::make_unique<binary_search_tree_node>(std::move(v));
    ++_size;
  } else {
    insert(_root, std::move(v));
  }
}

用于插入功能。

当我想搜索一个值时，这个列表还在继续：我应该为以下内容提供重载吗？find(const T &val) and find(T &&val)..?

所以我的问题是是否有一种方法可以组合这些重载或任何重载 还有其他方法可以删除这个重复的代码吗？

我读到参考折叠规则 https://en.cppreference.com/w/cpp/language/reference#Reference_collapsing但我不确定我是否可以在这里利用这个概念。

任何其他想法或建议也将受到赞赏。

是的，您可以使用引用折叠来减少编写的函数量。

例如，您的函数 insert 可以使用右值引用 + 直接上下文来利用引用折叠，从而产生转发引用：

template<typename U>
inline constexpr void insert(U &&v) { // v is a forwarding reference
    if (!_root) {
        // we use std::forward to keep rvalue-ness
        // of the named object when v is an rvalue, but not when it's a lvalue
        _root = std::make_unique<binary_search_tree_node>(std::forward<U>(v));
        ++_size;
    } else {
        insert(_root, std::forward<U>(v));
    }
}

即使参数使用右值引用，由于引用崩溃，左值也将在这里工作。如果U推断出int&，那么参数是这样的int& &&，折叠为int&。相反，如果发送右值，则会推导出int as U所以参数是int &&.

这种模式称为转发参考。

正如您所看到的，只有当转发参数存在模板参数推导时，此类代码才具有该属性。

请注意，如果没有正确约束，将其设为模板将使其接受比预期更多的类型。

您还可以使用副本然后移动以避免代码重复：

inline constexpr void insert(const T &v) {
    T copy = v;
    insert(std::move(copy)); // calls the rvalue overload
}