c++ - 检查返回值是否被消费

Question

给定一个函数，该函数返回一个重构造和重销毁的对象，如果函数返回值未被消耗，是否有一种方法可以跳过对象的构造和销毁？

HeavyObject func();

auto res = func(); // heavy object is constructed and returned
func(); // lightweight "null" object is returned and immediately destroyed

除了像 void func(NotConsumed); 这样的标签调度之外，有没有我可以使用的技术？

更新

可以丢弃返回值，所以 [[nodiscard]] 不是一个选项。客户可以决定是否要使用结果。

让我们假设 func() 启动了一些工作并且 HeavyObject 充当某种句柄。如果客户愿意，以后可以使用它来控制/监视作业。这种 handle 的构造可能涉及例如创建管道或堆内存分配。

还有 func() 的其他重载，其中必须使用返回值并标记为 [[nodiscard]]。新的重载没有此要求，但必须与现有 API 兼容。

Answer 1

从 C++17 开始就有了 nodiscard属性。但是，这只会帮助避免忽略返回值，并且只会鼓励编译器发出警告。

我不认为对于您想要的东西有一个简单的答案(即没有第二个函数或重载)。也因为重对象的构造已经在函数内部发生，而不是在函数返回之后。

您可以做的是返回一个仅在需要时才构造重对象的代理。沿线的东西:

struct heavy_object { int x; };

struct proxy {
    int parameter_needed_to_construct_heavy_object;
    operator heavy_object() {
        return {parameter_needed_to_construct_heavy_object};
    }
};

proxy func() {
    return {42};
}

int main() {
    func(); // ok, no heavy object is constructed
    heavy_object ho = func(); // ok, heavy object is constructed
    auto x = func(); // "ok-ish", caller must be aware that x is just the proxy
}

可以用 get() 代替隐式转换，但这不会改变调用者必须做一些额外的事情才能获得实际返回值的事实。

话虽如此，我认为使用两个单独的函数或您提议的重载是更简单、更清晰的解决方案。