对不完整类型使用 std::function 是否有效？

Question

我想知道使用不完整类型的std::function是否有效，例如在前向声明的情况下。 我写了这个小代码：

#include <iostream>
#include <functional>

struct S;

std::function<S(void)> m;

struct S {
    S() { std::cout << "ctor\n"; }
    ~S() { std::cout << "dtor\n"; }
    void foo() { std::cout << "foo\n";}
};

S goo() {
    return S{};
}

int main() {
    m = goo;
    m().foo();
}

即使S在声明m时不完整，我也可以将返回类型声明为完整类型（非指针返回类型）。 此代码符合要求并正常工作，但我不确定此代码是否符合标准。 因为如果返回类型不是普通函数中的指针，则不能转发声明返回类型（所以我不能转发声明goo()的S ）。

知道这是否是标准的有效代码吗？

Answer 1

知道这是否是标准的有效代码吗？

该程序是良构的，因为即使在定义std::function<S(void)> m;时S是不完整的； ， std::function不要求S是一个完整类型，而是要求S是返回类型的名称。

来自std::function的文档：

function class 模板提供了多态包装器，概括了 function 指针的概念。 包装器可以存储、复制和调用任意可调用对象，给定一个调用签名，允许函数成为一流的对象。

上面的意思是模板参数应该是调用签名的形式。 来自呼叫签名的文档：

调用签名是返回类型的名称，后跟用括号括起来的逗号分隔的零个或多个参数类型列表。

（强调我的）

正如我们所见，上面要求S是返回类型的名称。 也就是说，它没有明确要求S是完整的。

换句话说，您给出的示例中的S满足此条件，因此它是有效的。