generics - 使用泛型时遇到编译器错误

在尝试处理一个小型Swift项目时，我经常遇到以下编译器错误:

var item : T?
    ^
LLVM ERROR: unimplemented IRGen feature! non-fixed class layout

产生这种错误的代码非常简单:

class Foo<T> {
  var item : T?
}

有趣的是，如果您从class更改为struct，那么一切都可以编译。

任何人都可以验证这一点，以便我可以将其归咎于尚未完成的编译器，而不是在我的编译器工具链中出现一些奇怪的混淆吗？

更新:

尝试用以下替代实现方法使明显有错误的编译器超越智能，会导致更加滑稽的编译器错误。例如以下

class Foo<T> {
    // Let's try with an inner struct
    struct OptionalWrapper {
        var item: T?
    }
    var item : OptionalWrapper
    init(item: T?) { self.item = OptionalWrapper(item: item) }
}

给

0  swift                    0x000000011075a608 llvm::sys::PrintStackTrace(__sFILE*) + 40
1  swift                    0x000000011075aaf4 SignalHandler(int) + 452
2  libsystem_platform.dylib 0x00007fff901095aa _sigtramp + 26
3  libsystem_platform.dylib 0x0000000111b5ba00 _sigtramp + 2175083632
4  swift                    0x0000000110a54a67 swift::BoundGenericType::getSubstitutions(swift::Module*, swift::LazyResolver*) + 55
5  swift                    0x000000010fb696a9 emitNominalMetadataRef(swift::irgen::IRGenFunction&, swift::NominalTypeDecl*, swift::CanType) + 537
6  swift                    0x000000010fb5841c llvm::Value* swift::CanTypeVisitor<(anonymous namespace)::EmitTypeMetadataRef, llvm::Value*>::visit<>(swift::CanType) + 124
7  swift                    0x000000010fb58395 swift::irgen::IRGenFunction::emitTypeMetadataRef(swift::CanType) + 21
8  swift                    0x000000010fb9b7e9 swift::irgen::WitnessSizedTypeInfo<(anonymous namespace)::NonFixedStructTypeInfo>::allocateStack(swift::irgen::IRGenFunction&, swift::CanType, llvm::Twine const&) const + 89
9  swift                    0x000000010fbc81a2 swift::SILVisitor<(anonymous namespace)::IRGenSILFunction, void>::visit(swift::ValueBase*) + 34626
10 swift                    0x000000010fbbf266 swift::irgen::IRGenModule::emitSILFunction(swift::SILFunction*) + 8678
11 swift                    0x000000010fb406f8 swift::irgen::IRGenModule::emitGlobalTopLevel() + 184
12 swift                    0x000000010fbac6e3 performIRGeneration(swift::IRGenOptions&, swift::Module*, swift::SILModule*, llvm::StringRef, llvm::LLVMContext&, swift::SourceFile*, unsigned int) + 1859
13 swift                    0x000000010fbad033 swift::performIRGeneration(swift::IRGenOptions&, swift::SourceFile&, swift::SILModule*, llvm::StringRef, llvm::LLVMContext&, unsigned int) + 51
14 swift                    0x000000010fb1f65a frontend_main(llvm::ArrayRef<char const*>, char const*, void*) + 4842
15 swift                    0x000000010fb1e35d main + 1533
16 libdyld.dylib            0x00007fff8b2d05fd start + 1
17 libdyld.dylib            0x0000000000000040 start + 1959983684

甚至将struct OptionalWrapper更改为struct OptionalWrapper<T>甚至会使swift编译器似乎陷入无限循环(例如，您仍然可以使用XCode中的“停止”按钮将其取消)。

因此，我目前的建议是:暂时避开class es中的Swift泛型，这似乎是非常不稳定的地形…

最佳答案

我可以通过将NSObject约束添加到T来使其停止崩溃并真正起作用:

class Widget<T:NSObject>
{
    var value : T?

    init(value:T?)
    {
        self.value = value
    }

    func description() -> String
    {
        let valueType = value?.self

        return "Widget is a \(valueType?.className)"
    }
}

let stringWidget = Widget(value:"Hello")
let numericWidget = Widget(value:9001)
let doubleWidget = Widget(value:3.14159)
let arrayWidget = Widget(value:[0xFEED, 0xBEEF, 0xCAFE])

stringWidget.description()
numericWidget.description()
doubleWidget.description()
arrayWidget.description()

也就是说，我确实相信游乐场和编译器存在许多错误，包括您遇到的行为。

我也无法通过创建Widget(value:Widget(value:x))来进行“widgetception”。

关于generics - 使用泛型时遇到编译器错误，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/24050035/