错误：使用auto调用unique_ptr的隐式删除的复制构造函数

Question

我有两个模板声明如下：

template < typename T >
      class node {
        public:
          ...
        const unique_ptr < node < T >> & getParent();
        ...
        private:
          ...
        unique_ptr < node < T >> & P; //for parent node
        ...
      };

    template < typename T1, typename T2 >
      class tree {
        public:
          tree(int, T2 & );
        ...
        void travPreord();
        ...
        private:
          ...
      };

在公共方法的定义内

template<typename T1, typename T2> tree<T1,T2>::travPreord() 

我有以下代码：

template < typename T1, typename T2 > 
    void tree < T1, T2 > ::travPreord() {

      //lambda definition

      function < void(unique_ptr < node < T1 >> & ) > prntNode = [ & ]
      (unique_ptr < node < T1 >> & pN) {

        ...

        if(auto rPN = pN - > getParent()) {

          ...

        }

      };

    }

对于上面if语句条件中的赋值，我从编译器得到以下错误（g ++ 4.2.1）：

错误：调用隐式删除的'std :: __ 1 :: unique_ptr>的复制构造函数，std :: __ 1 :: default_delete >>>'if（auto rPN = pN-> getParent（））{

错误中突出显示的模板实例化的参数是从main（）提供的：

int main() {

      vector < string > v;

      ...

      tree < string, vector < string >> T(v.size(), v);

      T.travPreord();

      ...

      return 0;

    }

我根据以下假设编写了if语句条件：

1. 可以将unique_ptr分配给引用。

2. auto关键字应该推导出左值表达式rPN的类型为rvalue表达式pN->getParent()的类型，它返回一个类型unique_ptr<node<T>>&.

所以我不确定这个错误的来源。

有谁能指出相同的？

Answer 1

2. auto关键字应该推导出左值表达式rPN的类型为rvalue表达式pN->getParent()的类型，它返回一个类型unique_ptr<node<T>>& 。

不，类型将是unique_ptr<node<T>> 。

自动类型推导应用与模板参数推导相同的规则; 忽略表达式的引用部分（即pN->getParent() ），之后也忽略const部分。 所以结果类型是unique_ptr<node<T>> 。

您需要明确指出它应该是一个引用，例如

auto& rPN = pN - > getParent() // rPN is of type const unique_ptr<node<T>>&

1. 可以将unique_ptr分配给引用。

当然是的。 问题是rPN不是参考。