将函数参数的"constness"复制到其返回类型 C++

Copying "constness" of an argument of a function to its return type in C++

本文关键字：返回类型 C++ 复制 constness 函数 参数      更新时间：2023-10-16

我有一个函数，它接受一个集合并返回集合的一个元素。该函数不会修改集合或其任何元素。所以我想通过把集合的常量引用作为一个参数来表达它。函数的签名是这样的：

const AType& find(const set<AType>& s, ...);

但在某些情况下，函数的调用方可能想要修改元素

set<AType> s;
AType& a = find(s, ...);
a.bar(); //non-const method

为此，查找函数需要对集合进行非常量引用并返回非常量引用。我可以重载该函数，以便拥有它的两个版本。一个是常量版本，另一个是非常量版本。但是，这感觉就像是同一实现的无意义的重复。我是否可以表达一个函数，该函数不会改变作为参数的容器，如果它是常量容器，则返回对容器元素的 const 引用，如果它是 C++ 中的非 const 容器，则返回对容器元素的非 const 引用？

----编辑;

好的，我知道回复中指出的集合的突变问题。这不是问题的重点。假设 AType 的排序不受柱线调用的影响，或者容器类型是任何其他向量。

通常，

您将通过编写两个函数来实现这一点：

const S& func( const R<S>& arg, ...);
S& func( R<S>& arg, ... );

没有更简单的选择。

不过，std::set需要特别照顾。 对集合元素的任何就地修改都必须保留排序顺序，否则会导致未定义的行为。因此，set::find返回一个 const 迭代器。

您建议的界面将使调用方很容易意外导致未定义的行为。在这种特殊情况下，最好为设置项的就地更新提供更可控的接口。

一种选择是仅具有const版本，但如果AType成员不影响排序顺序，则将其mutable。

相关文章：