新的C ++标准以多种方式重新定义了这一点，是时候重新讨论这个问题了。
最佳选择：
命名可选：具有一个最小的私有构造函数和一个命名构造函数：static std::experimental::optional<T> construct(...)。后者尝试设置成员字段，确保不变，并且只有在肯定成功的情况下才调用私有构造函数。私有构造函数仅填充成员字段。测试可选件很容易，而且价格便宜（即使在良好的实现中也可以保留副本）。
功能风格：好消息是，（未命名的）构造函数永远不会是虚拟的。因此，您可以用静态模板成员函数替换它们，除了构造函数参数外，该函数还需要两个（或多个）lambda：如果成功，则为一个，如果失败，则为一个。“实际”构造函数仍然是私有的，不会失败。这听起来似乎有些过分，但是编译器对lambda进行了优化。您甚至if可以通过这种方式保留可选的选项。
不错的选择：
异常：如果所有其他方法均失败，请使用异常-但请注意，在静态初始化期间无法捕获异常。在这种情况下，可能的解决方法是让函数的返回值初始化对象。
Builder类：如果构造复杂，请使用一个类进行验证，并可能进行一些预处理，以确保操作不会失败。让它有一种返回状态的方法（是，错误功能）。我个人将其设置为仅堆栈，因此人们不会将其传递出去。然后让它有一个.build()构造另一个类的方法。如果builder是朋友，则constructor可以是私有的。甚至可能只有构建器才能构建某些东西，因此有文档证明此构建器只能由构建器调用。
错误的选择：（但屡次出现）
标志：不要通过具有“无效”状态来使类不变。这正是我们拥有的原因optional<>。认为optional<T>那可能是无效的，T那不可能。仅对有效对象起作用的（成员或全局）函数在上起作用T。一种肯定会在上返回有效作品的作品T。一个可能返回无效对象return的对象optional<T>。一个可能会使对象无效的对象采用non-constoptional<T>&或optional<T>*。这样，您将不需要检入对象有效的每个函数（那些函数if可能会变得有些昂贵），但也不必在构造函数中失败。
默认的构造器和设置器：这与Flag基本相同，只是这次您被迫具有可变的模式。忘记设置器，不必要地使您的类不变式复杂化。记住要使您的班级简单而不是构造简单。
默认构造并init()带有ctor参数：这比返回an的函数更好optional<>，但是需要两种构造并弄乱您的不变式。
拿bool& succeed：这是我们以前所做的optional<>。原因optional<>是优越的，您不能错误地（或不小心！）忽略该succeed标志并继续使用部分构造的对象。
返回指针的工厂：这不太普遍，因为它强制动态分配对象。您要么返回给定类型的托管指针（并因此限制分配/作用域架构），要么返回裸ptr，并冒着客户泄漏的风险。同样，就移动原理图而言，就性能而言，这可能会变得不那么理想（局部变量在堆栈中时非常快速且对缓存友好）。
例：
#include <iostream>
#include <experimental/optional>
#include <cmath>
class C
{
public:
friend std::ostream& operator<<(std::ostream& os, const C& c)
{
return os << c.m_d << " " << c.m_sqrtd;
}
static std::experimental::optional<C> construct(const double d)
{
if (d>=0)
return C(d, sqrt(d));
return std::experimental::nullopt;
}
template<typename Success, typename Failed>
static auto if_construct(const double d, Success success, Failed failed = []{})
{
return d>=0? success( C(d, sqrt(d)) ): failed();
}
private:
C(const double d, const double sqrtd)
: m_d(d), m_sqrtd(sqrtd)
{
}
double m_d;
double m_sqrtd;
};
int main()
{
const double d = 2.0;
if (auto&& COpt = C::construct(d))
{
C& c = *COpt;
std::cout << c << std::endl;
}
else
{
std::cout << "Error in 1." << std::endl;
}
C::if_construct(d, [&](C c)
{
std::cout << c << std::endl;
},
[]
{
std::cout << "Error in 2." << std::endl;
});
}