如何有条件地实例化一个对象？

Question

我正在尝试像这样做一些有条件的工作：

Type object;
if (cond) {
    doSomeStuff();
    object = getObject();
    doMoreStuff();
} else {
    doSomeOtherStuff();
    object = getDifferentObject();
    doEvenMoreStuff();
}
use(object);

我能想到解决这个问题的唯一方法是复制use 代码（实际上是我的应用程序中的内联代码）并在if 块的每个分支中声明object。如果我想避免重复代码，我必须将它包装在一些使用函数中，就像我上面所说的那样。在实际情况下，这个use 函数可能需要 5+ 个参数来实质上继承上下文。这一切看起来都很混乱，而且无法维护。

if (cond) {
    doSomeStuff();
    Type object = getObject();
    doMoreStuff();
    use(object);
} else {
    doSomeOtherStuff();
    Type object = getDifferentObject();
    doEvenMoreStuff();
    use(object);
}

解决这个问题的最佳方法是什么？ Type 没有默认构造函数，因此 sn-p 1 无法编译。

其他一些语言支持 sn-p 1 - 相关问题：Forcing uninitialised declaration of member with a default constructor

Answer 1

把它放在一个函数里面：

Type doStuffAndCreateType() {
    doSomeStuff();
    Type object = getObject();
    doMoreStuff();
    return object;
}

Type doOtherStuffAndCreateType() {
    doSomeOtherStuff();
    Type object = getObject();
    doEvenMoreStuff();
    return object;
}

Type object = cond ? doStuffAndCreateType() : doOtherStuffAndCreateType();
use( object );

Answer 2

看看std::optional:

#include <optional>

std::optional<Type> object;
if (cond) {
    doSomeStuff();
    object = getObject();
    doMoreStuff();
} else {
    doSomeOtherStuff();
    object = getDifferentObject();
    doEvenMoreStuff();
}
use(object.value());

Answer 3

您可以使用 IIILE（立即调用初始化 lambda 表达式）：

auto object = [&] {
  if (cond) {
    doSomeStuff();
    auto object = getObject();
    doMoreStuff();
    return object;
  } else {
    doSomeOtherStuff();
    auto object = getDifferentObject();
    doEvenMoreStuff();
    return object;
  }
}();  // note that the lambda must be called

use(object);

即使Type 不是默认可构造的，这也会起作用。

这是demo。