如何正确组合可变对象 const

Question

如果您尝试传递对临时对象的引用，则需要const：

http://msdn.microsoft.com/query/dev12.query?appId=Dev12IDEF1&l=EN-US&k=k%28C4239%29;k%28vs.output%29&rd=true

这意味着在 C++ 中不可能将对象的可修改包装器建模为临时对象（无需强制使对象成为左值）：

inline char * PcToUnix(AutoCStringBufferA & buffer) { return PcToUnix(buffer, buffer.size()); }
inline char * PcToUnix(CStringA & str) { return PcToUnix(make_autobuffer(str)); }

PcToUnix ：将字符缓冲区从 CR+LF 原位转换为 CR。 make_autobuffer ：接受 CString，并锁定其底层字符缓冲区，以便我们可以在 autobuffer 的生命周期内直接访问以对其进行操作。

所以我不能编写一个调用语句，它采用底层字符串，将其包装在缓冲区管理对象（可变）中，将其传递给操作缓冲区内容的函数并返回，除非 autobuffer 是声明为const &：

错误：

inline char * PcToUnix(AutoCStringBufferA & buffer) { return PcToUnix(buffer, buffer.size()); }

好吗？！

inline char * PcToUnix(const AutoCStringBufferA & buffer) { return PcToUnix(buffer, buffer.size()); }

但“正确”的形式似乎指定了以下合同：“我不会修改您的缓冲区”。这里的 constness 在 autobuffer 对象的级别上是逻辑上正确的 - 它在 PcToUnix() 期间没有被修改 - 缓冲区包装器对象本身（即 autobuffer）在 PcToUnix 期间没有被修改 - 所以它是确实是const...

但是，但是，它正在修改其底层对象 - 根据定义 - 其他东西的包装器 - 并且其他东西被修改了。

在我看来，这似乎是 C++ const 的一个根本缺陷。没有办法同时满足当前规则（不使用非标准编译器行为或编写误导性 API 合同或编写不必要的冗长代码。

详细方法：

inline char * PcToUnix(CStringA & str) { auto adapter = make_autobuffer(str); return PcToUnix(adapter); }

误导性的 API 方法：

inline char * PcToUnix(const AutoCStringBufferA & buffer) { return PcToUnix(buffer, buffer.size()); }
inline char * PcToUnix(CStringA & str) { return PcToUnix(make_autobuffer(str)); }

如果 C++ 提供了一种方法来指定包装器的 constness 与被包装对象的 constness 分开，那么我们就有了一种健全的方法来创建规则并简洁地表达 API。但我只是不知道如何做到这一点。

预智能指针（或对于所有没有包装层的上下文）可以单独指定指针的常量与底层对象的常量：

T * const pConstPointerToMutableObject;
const T * pMutablePointerToConstObject;
const T * const pConstPointerToConstObject;

但是对于包装对象没有任何相应的支持。没有办法将referer的constness与referee的constness分开来表达。也没有任何一套合理的规则来定义或控制const 的交换/关联/分配性质。

我不明白为什么没有经常提出这个问题。我经常偶然发现这一点，并发现const 是一个巨大的 PIA，因为它。

理想情况下，代码应该是可堆肥的——即，应该能够将一些更简单的对象包装在另一层以某种方式适应它——也许过滤访问，或添加有关管理子对象的智能，或延迟底层事物的实例化，等等，这样就可以建立一个数据的复杂和特定的接口，而不必一遍又一遍地重新设计基本对象——只需包裹在一层或两层中，为上下文添加必要的智能/逻辑/接口/适应这是需要的。

但由于 const 正确性问题，C++ 几乎不可能做到这一点。 （或者，我太愚蠢了，无法弄清楚如何做这一切，在我广泛的阅读中，我已经设法错过了如何做，甚至没有人在讨论这些问题而只是掩饰并忽略const 的这一方面）。也许这里的某人可以免除我的任何错误？？

Answer 1

实现 const 正确性的简单方法：使用传递性 const。

您似乎对免费的要求有点过高在语言级别。它实际上是经过设计的（除其他外），以​​便您为使用的东西付费，并确保安全和高性能。是的，它可能非常冗长。

就物理常量感知的容器而言，C++ 肯定能够支持这种区别；例如：

void A(const std::shared_ptr<const bool>& p) { /* ... */}
void B(const std::shared_ptr<bool>& p) { /* ... */}

void C() {
 A(std::make_shared<bool>(false)); // << ok
 A(std::make_shared<const bool>(false)); // << ok

 B(std::make_shared<bool>(false)); // << ok
 B(std::make_shared<const bool>(false)); // << error. API forbids removal of const.
}

但 C++ 标准库并没有提供您可能需要的所有容器来完成您的要求。

列举您需要的智能指针变体，并考虑它们负责对象的生命周期以及从一个容器到另一个容器的转换。另请注意，如果您仅支持传递性 const，该列表会短多少。然后考虑 OP 中的 API 通常会转换为模板以轻松支持变体。

有时，您必须处理接口不太理想的类型。在这些情况下，为它们制作一个容器并引入您理想的 const 形式通常是最容易的。

使用这种方法，容器完成了大部分繁重的工作（=使您免于调用现场的冗长）。

当然，类似 C++ 的字符串转换方式看起来更像：

std::string PCToUnix(std::string pString) {
 ...mutate pString...
 return pString;
}

或就地：

void PCToUnix(std::string& pString) {
 ...mutate pString...
}