Question

我在clang中遇到了编译错误，所以我开始减少一个最小的测试用例。但是对于大多数简化的测试用例，GCC告诉它包含语法错误。我该如何创建这个结构？

template<typename F>
struct Item
{
  F *foo(); // with std::function clang also crash
};

template<typename F>
struct Container
{
  static const Item<F> items[];
};


template<typename F>
const Item<F> Container<F>::items[] =
{
  {  []() -> F { } }
  // {{  []() -> F { } }} this also wrong
};

template struct Container<int>;

int main()
{
  return 0;
}

海湾合作委员会说：

clangBug.cc: In instantiation of ‘const Item<int> Container<int>::items []’:
clangBug.cc:24:17:   required from here
clangBug.cc:17:15: error: too many initializers for ‘const Item<int>’

Clang master HEAD（040cd82aadd48ba50e9742881d648d53ddd2a6c9）崩溃：

3  libc.so.6       0x00007f304c590037 gsignal + 55
4  libc.so.6       0x00007f304c593698 abort + 328
5  libc.so.6       0x00007f304c588e03
6  libc.so.6       0x00007f304c588eb2
7  clang           0x0000000000cd823e clang::Sema::InstantiateClassMembers(clang::SourceLocation, clang::CXXRecordDecl*, clang::MultiLevelTemplateArgumentList const&, clang::TemplateSpecializationKind) + 1646
8  clang           0x0000000000cd82f4 clang::Sema::InstantiateClassTemplateSpecializationMembers(clang::SourceLocation, clang::ClassTemplateSpecializationDecl*, clang::TemplateSpecializationKind) + 68
9  clang           0x0000000000c6c341 clang::Sema::ActOnExplicitInstantiation(clang::Scope*, clang::SourceLocation, clang::SourceLocation, unsigned int, clang::SourceLocation, clang::CXXScopeSpec const&, clang::OpaquePtr<clang::TemplateName>, clang::SourceLocation, clang::SourceLocation, llvm::MutableArrayRef<clang::ParsedTemplateArgument>, clang::SourceLocation, clang::AttributeList*) + 2225
10 clang           0x000000000097cb65 clang::Parser::ParseClassSpecifier(clang::tok::TokenKind, clang::SourceLocation, clang::DeclSpec&, clang::Parser::ParsedTemplateInfo const&, clang::AccessSpecifier, bool, clang::Parser::DeclSpecContext, clang::Parser::ParsedAttributesWithRange&) + 5733
11 clang           0x0000000000962dd7 clang::Parser::ParseDeclarationSpecifiers(clang::DeclSpec&, clang::Parser::ParsedTemplateInfo const&, clang::AccessSpecifier, clang::Parser::DeclSpecContext, clang::Parser::LateParsedAttrList*) + 3511
12 clang           0x00000000009c4a98 clang::Parser::ParseSingleDeclarationAfterTemplate(unsigned int, clang::Parser::ParsedTemplateInfo const&, clang::ParsingDeclRAIIObject&, clang::SourceLocation&, clang::AccessSpecifier, clang::AttributeList*) + 632
13 clang           0x00000000009c3fda clang::Parser::ParseExplicitInstantiation(unsigned int, clang::SourceLocation, clang::SourceLocation, clang::SourceLocation&, clang::AccessSpecifier) + 154

Answer 1

如果我正确理解了您的问题，您希望Item<F>::foo成为指向不带参数的函数的数据成员，并按值返回F。你现在拥有的是成员函数foo的声明，它不带任何参数，并返回F *。将定义更改为：

template<typename F>
struct Item
{
  F (*foo)();
};

此外，正如comments中所述，我认为您必须提供Container<F>::items数组的大小。初始化程序中的lambda需要返回一个值。

template<typename F>
const Item<F> Container<F>::items[N] =
{
  {  []() -> F { return F(); } }
};

我该如何初始化这个结构？

1 个答案: