声明对象而不调用默认构造函数

如果您不想像Igor（和其他人）在问题的第一个注释中所说明的那样使用指针来获取参考功能，则可以做几件事。

首先，值类型而不是引用类型的理念是在需要它们之前才创建它们。您倾向于在使用该对象以在该函数的其余部分中获得某种多态功能之前声明该引用（可能是某些后期创建通用初始化代码），这是合理的设计，但无法以您编写它的方式表示，因为将涉及创造价值。

您可以提供一个默认的构造函数并为其提供某些行为-但很显然，您和其他任何人都不想被强迫这样做。

替代方法的实质是将变量移到范围内并返回它。

Foo makeFoo(int x) {
    if (x > 10) { 
        Foo result = Foo(true);
        return result;
    }
    else {
        Foo result = Foo(false);
        return result;
    }
}

显然，这会阻止您在return之前的if块之后编写通用的创建后初始化代码。为此，您可以在自己的函数中编写if块，并使其返回结果，然后在初始化对象后编写后续代码。

Foo premakeFoo(int x) {
    if (x > 10) { 
        Foo result = Foo(true);
        return result;
    }
    else {
        Foo result = Foo(false);
        return result;
    }
}

Foo makeFoo(int x) {
    Foo result = premakeFoo(x);
    // common post init code can go here.
    return result;
}

如果您不希望在完全独立的函数中使用它，则可以执行lambda。

Foo makeFoo(int x) {
    Foo result = ([=]() {
        if (x > 10) {
            Foo result = Foo(true);
            return result;
        } else {
            Foo result = Foo(false);
            return result;
        }
    })();
    // common post init code can go here.
    return result;
}

或者，如果您的情况很小，请使用内联三元表达式。

Foo makeFoo(int x) {
    Foo result = (x > 10) ? Foo(true) : Foo(false); // or just Foo(x>10)
    // common post init code can go here.
    return result;
}

还有其他一些涉及模板的聪明选择，但是它们都围绕着为重载的构造函数隔离不同表达式，然后使用赋值来初始化给定一些更复杂表达式的变量的想法。而您想要做的就是获得一个表达式，该表达式以两种不同的方式构造值以覆盖作用域块（跨越if块）。三元和函数是用于在单个表达式中执行if逻辑的选项。