c++ - 为什么这个指针引用是右值？

Question

我有以下基类和继承类:

// Abstract base class Manager.
class Manager
{
public:
  Manager(Task*& _task);
protected:
  // Reference of a pointer to the current task.
  Task*& task;
};

// Abstract base class Task.
class Task
{
  virtual task_rcodes_t run() = 0;
protected:
  uint8_t task_id;
};

// Still abstract class Special_Task.
class Special_Task : public Task
{
public:
  Special_Task();
};

// Class Special_Manager.
class Special_Manager : public Manager
{
public:
  Special_Manager();
protected:
  // Pointer to the current special task.
  Special_Task* task;
};

想法是允许任务指针为 0 以检测当前没有任务正在运行。为了共同访问 Task 和 Special_Task 指针，它们通过引用指针传递。

为什么我会收到错误消息:“从‘Special_Task*’类型的右值初始化‘Task&’类型的非常量引用无效”结合:“无法解析符号‘经理’”

对于 Special_Manager 的构造函数:

// Constructor Manager
Manager::Manager(Task*& _task) : task (_task)
{}

// Constructor Special_Manager
Special_Manager::Special_Manager() : Manager(task), task (0)
{}

既然 Special_Task* task 是一个普通的(指针)变量，我不明白为什么它被认为是一个右值？

谢谢!

Answer 1

Since Special_Task* task is a normal (pointer) variable, I don't see why it is considered a rvalue?

任何左值都可以通过隐式转换转换为右值。 task 是一个左值，因为它是“变量的名称......在范围内”(参见 cppreference on value categories )，并且在您的示例中它被转换为右值。

但在这种情况下，整个左值/右值的事情在很大程度上是一个转移注意力的问题。问题是您正试图将一种类型的指针分配给另一种类型的指针引用，如错误消息所述:

从类型“Special_Task*”的右值对类型“Task*&”的非常量引用进行无效初始化

(顺便说一句，我很想知道究竟是什么编译器/代码给了你这条消息。我尝试过的所有 gcc 版本都给出了:无效初始化类型为“任务”的非 const 引用*&' 来自 'Task*' 类型的右值)。

即使 Special_Task 是 Task 的派生类型，您也不能这样做。它们各自的指针类型不是子类型； Special_Task * 不是Task *，因此不能为 Task *& 变量分配 Special_Task *。 (一些混淆可能是因为 Special_Task * 可以隐式转换为 Task *，但是，重要的是要注意，在这种情况下，结果指针是一个右值，不是左值，这解释了后面的错误消息)。

为了说明为什么不能将 Special_Task * 分配给 Task *& 变量，请考虑以下示例:

// Other_Task is a second derived class of Task:
class Other_Task : public Task { /* ...  */ }

Special_Task st;
Special_Task *p = &st; // ok, p points to st

Task *& tp = p; // if it were allowed: tp references p

Other_Task ot;
tp = &ot;       // now, p points to ot - which is the wrong type

上面的例子说明了为什么不能将 Special_Task * 直接分配给 Task *& 变量。因此，在您的代码中，Special_Task * 被隐式转换为 Task * 并成为右值，也不能将其分配给非常量引用。该示例还说明了为什么 const 引用没有问题:它会阻止导致 p 指向错误类型的对象的赋值。

回到你的问题:鉴于 Manager 中的 task 不需要作为引用，简单的解决方法是将其声明更改为简单的指针:

Task* task;

并更改构造函数:

Manager(Task* _task);

另一种解决方案(尽管我不推荐)是将类型更改为 const 引用:

Task * const & task;

Manager(Task* const & _task);

哦，还有一件事:

Special_Manager::Special_Manager() : Manager(task), task (0)

这会将 task 的未初始化值传递给 Manager 构造函数，然后then 将 task 初始化为 0。你应该写:

Special_Manager::Special_Manager() : Manager(0), task (0)