c – 使用函数返回不完整类型作为默认参数

当我尝试编译并运行此代码时(只有前三行真正重要)：

class object;
object getObject();
void doSomething(object o = getObject());

class object{
    public:
        int num = 0;
};

object getObject(){
    return {};
}

void doSomething(object o){
    o.num = 5;
}

int main(){}

我收到此错误：

main.cpp:3:39: error: invalid use of incomplete type 'class object'
 void doSomething(object o = getObject());
                                       ^
main.cpp:1:7: note: forward declaration of 'class object'
 class object;
       ^

如何在不改变所有内容的顺序的情况下编译它？在我的实际代码中,声明在一起,而定义分布在几个文件中.是否可以在不分离声明的情况下解决问题？

如果在这个阶段类型不完整,为什么重要？

解决方法:

How would I get it to compile without changing the order of everything?

您不必更改所有内容的顺序,但您确实需要更改某些内容的顺序.特别是,必须在调用getObject之前定义对象(在默认参数表达式中).

Is it possible to do solve without separating the declarations?

这有点不清楚这意味着什么,但是如果你在顶部定义对象,那么声明可以保持与你的例子完全一样.

另一个选择是在对象定义后使用默认参数重新声明该函数：

class object;
object getObject();
void doSomething(object o);

class object{
    public:
        int num = 0;
};

void doSomething(object o = getObject());

这当然意味着第一次声明后的代码,但在重新声明之前不会受益于默认参数.

最后,有点诡计.在模板实例化之前,模板中的表达式不需要完整,因此如果doSomething是函数模板,那么您的示例将正常工作：

template<class T=void>
void doSomething(object o = getObject());

class object{};

object getObject(){
    return {};
}

template<class T>
void doSomething(object o){}

当然,您不应该只是为了解决这个问题而制作模板,但这是一个在编写模板时需要注意的方便细节.

标签：incomplete-type,default-parameters,c
来源： https://codeday.me/bug/20190731/1587026.html