c – 构造函数初始化列表中的约束检查

您可以使用所谓的命名构造函数(另请参阅http://www.parashift.com/c++-faq/named-ctor-idiom.html),并将构造函数设为私有：

class RenderTarget {
private:
    RenderTarget (int w,int h) :
        width_(w),height_(h),buffer_(w*h) 
    {
        // NOTE: Error checking completely removed.
    }

public:
    static RenderTarget create(int width,int height) {
        // Constraint Checking
        if (width<0 || height<0)
            throw std::logic_error("Crizzle id boom shackalack");

        return RenderTarget(width,height);
    }

如果您有多个可能不明确使用的构造函数,则命名构造函数很有用,例如：温度< - 摄氏度|华氏温度|开尔文或距离< - 米|院子里| Cubit |公里|.公里.... 否则,(个人意见)他们强加了意想不到的抽象,也分散了注意力,应该避免. 三元运算符和抛出 C允许在[expr.cond]中将一个或两个操作数中的throw-expression用于三元运算符(？： – operator)：

RenderTarget(int w,int h) :
    width_(w<0 ? throw std::logic_error("Crizzle id boom shackalack") : w),height_(h<0 ? throw std::logic_error("Crizzle id boom shackalack") : h),surface_(w*h)
{}

如果你不存储参数,你也可以在表达式中使用？：当然：

RenderTarget(int w,int h) :
    surface_(
       (w<0 ? throw std::logic_error("Crizzle id boom shackalack") : w)
     * (h<0 ? throw std::logic_error("Crizzle id boom shackalack") : h)
    )
{}

或者您将前置条件检查合并到一个操作数中：

RenderTarget(int w,int h) :
    surface_(
       (w<0||h<0) ? throw std::logic_error("Crizzle id boom shackalack") :
       w * h
    )
{}

使用带有throw-expression内联的？： – 运算符对于基本约束检查非常好,并且避免必须回退到使用默认构造函数(如果有的话),然后在构造函数体内进行“实际初始化”.

对于更复杂的场景,这可能会变得有点笨拙.

静态私人会员

当然,可以使用两全其美的优点：

private:
    static bool check_preconditions(int width,int height) {
        if (width<0 || height<0)
            return false;
        return true;
    }
public:
    RenderTarget(int w,int h) :
        surface_(
           check_preconditions(w,h) ?
           w*h :
           throw std::logic_error("Crizzle id boom shackalack")
        )
    {}

…或者您需要为预处理检查所需的任何成员编写静态函数：

private:
    static Buffer create_surface(int width,int height) {
        if (width<0 || height<0)
            throw std::logic_error("Crizzle id boom shackalack")
        return Buffer(width*height);
    }

public:
    RenderTarget(int w,int h) :
      surface_(create_surface(w,h))
    {}

这很好,因为您手头有完整的C -machinery进行约束检查,例如可以轻松添加日志记录.它可以很好地扩展,但对于简单的场景来说不那么方便.