C++ 通过引用传递和值和常量问题

Question

我有以下通用代码，其中我有一个在某些内存上实现视图的类，可以通过多种方式创建它。用于为一些数据处理功能提供一致的接口。

class CView
{
    ...
    int m_size;
    float *m_data;
};

class CObjectA
{
    ...
    CView m_view;

    const CView View() const { return m_view; } // returned
    CView View() { return m_view; } // returned
};

class CObjectB
{
    ...
    const CView View() const { return CView(.....); } // constructed
    CView View() { return CView(.....); } // constructed
};

void ProcessAdd(CView &dst, const CView &src1, const CView &src2);
void ProcessReverse(CView &dst, const CView &src);
void ProcessMul(CView &dst, const CView &src1, const CView &src2);

现在我想知道View 方法是否应该通过引用或值返回，以及Process 方法是否应该使用引用或值。我想尽量减少复制，但保留执行以下操作的能力：

CObjectA a1, a2;
CObjectB b1;
... init these somehow
ProcessAdd(a1.View(), b1.View(), a2.View());

似乎编译器不允许我让 View() 方法返回一个副本，然后通过引用传递给 Process 函数。

View 对象的重量相当轻，只指向可以读取或修改的数据。

如果View 方法返回CView 而不是CView & 类型，这是否意味着当我将它们传递给Process 函数时会有双重复制？获得所需行为的最有效方法是什么？

另一个问题是实现 const 正确性的正确方法是什么？我实际上从不希望进程函数更改CView 类的成员变量，但我确实希望CView 类中的数据指针指向Process 的第一个参数的非常量数据，即输出视图。如果我按值传递，大概没有 const 限定符？

Answer 1

您是对的，如果您按值传递，则无需将其设为 const 值。

要回答您问题的第一部分，如果您返回 CView 并将其传递给流程函数，则不会再次复制它，因为 ProcessAdd、ProcessReverse 和 ProcessMul 函数的参数都是参考。它将使用相同的 CView 对象。

如果您想封装CView 对象，有一些更简洁的方法可能对您的应用程序有意义。例如，您可以将视图方法更改为如下所示：

const CView& View() const { return m_view; }

然后，如果您对要修改的视图有其他引用，则可以不理会 Process 函数。但是，由于看起来您正在创建结合其他 CViews 的新对象，因此您可以更改函数以直接返回新视图：

CView ProcessAdd(const CView &src1, const CView &src2);

你能通过价值传递你所有的CViews 吗？大概。您在示例中的类型很小，因此副本可能不会有太大的不同。但是，如果对象有任何重要的指针所有权规则（看起来可能）或者可以扩展以获得更多信息，那么您可能只想从一开始就使用引用。