我想用符合协议的参数编写函数。有2个选项：使用符合协议的参数的Swift函数
// option 1:
func foo<T: CustomStringConvertible>(obj: T) {
print(1)
print(obj.description)
}
// option 2:
func foo(obj: CustomStringConvertible) {
print(2)
print(obj.description)
}
// test:
foo(Float(10.0))
它们都按预期工作，如果它们共存，第二个将覆盖1st。
编译器是否生成相同的二进制文件？
考虑两个方案：
foo1.swift
func foo<T: CustomStringConvertible>(obj: T) {
print(obj.description)
}
foo2.swift
func foo(obj: CustomStringConvertible) {
print(obj.description)
}
这些方案将产生几乎相同的组件开始，但是当它到达功能会有所不同说明。在第一个程序中，您利用了Swift泛型的强大功能。在第二个程序中，您正在投射一个符合协议的对象。
我们可以看到，通过使用LLVM从每个节目生成的指令：
swiftc -emit-assembly foo1.swift
swiftc -emit-assembly foo2.swift
foo1组件：
.section __TEXT,__text,regular,pure_instructions
.macosx_version_min 10, 10
.globl _main
.align 4, 0x90
_main:
.cfi_startproc
pushq %rbp
Ltmp0:
.cfi_def_cfa_offset 16
Ltmp1:
.cfi_offset %rbp, -16
movq %rsp, %rbp
Ltmp2:
.cfi_def_cfa_register %rbp
subq $16, %rsp
movq [email protected](%rip), %rax
movq [email protected](%rip), %rcx
movl %edi, (%rcx)
cmpq $-1, (%rax)
movq %rsi, -8(%rbp)
je LBB0_2
movq [email protected](%rip), %rdi
movq [email protected](%rip), %rax
movq %rax, %rsi
callq _swift_once
LBB0_2:
xorl %eax, %eax
movq __TZvO[email protected]GOTPCREL(%rip), %rcx
movq -8(%rbp), %rdx
movq %rdx, (%rcx)
addq $16, %rsp
popq %rbp
retq
.cfi_endproc
.private_extern __TF3foo3foouRq_Ss23CustomStringConvertible_Fq_T_
.globl __TF3foo3foouRq_Ss23CustomStringConvertible_Fq_T_
.align 4, 0x90
__TF3foo3foouRq_Ss23CustomStringConvertible_Fq_T_:
.cfi_startproc
pushq %rbp
Ltmp3:
.cfi_def_cfa_offset 16
Ltmp4:
.cfi_offset %rbp, -16
movq %rsp, %rbp
Ltmp5:
.cfi_def_cfa_register %rbp
subq $176, %rsp
movl $1, %eax
movl %eax, %ecx
movq %rsi, -8(%rbp)
movq %rdi, -40(%rbp)
movq %rcx, %rdi
movq %rsi, -48(%rbp)
movq %rdx, -56(%rbp)
callq __TTSg5P____TFSs27_allocateUninitializedArrayurFBwTGSaq__Bp_
leaq -32(%rbp), %rdi
movq [email protected](%rip), %rcx
movq %rcx, 24(%rdx)
movq -48(%rbp), %rcx
movq -8(%rcx), %rsi
movq -40(%rbp), %r8
movq %rsi, -64(%rbp)
movq %r8, %rsi
movq %rdx, -72(%rbp)
movq %rcx, %rdx
movq -64(%rbp), %r9
movq %rax, -80(%rbp)
callq *40(%r9)
movq %rax, %rdi
movq -48(%rbp), %rsi
movq -56(%rbp), %rcx
movq %rax, -88(%rbp)
callq *(%rcx)
movq -64(%rbp), %rsi
movq 32(%rsi), %rdi
movq -88(%rbp), %r8
movq %rdi, -96(%rbp)
movq %r8, %rdi
movq -48(%rbp), %rsi
movq -96(%rbp), %r9
movq %rax, -104(%rbp)
movq %rdx, -112(%rbp)
movq %rcx, -120(%rbp)
callq *%r9
movq -72(%rbp), %rax
movq -104(%rbp), %rcx
movq %rcx, (%rax)
movq -112(%rbp), %rcx
movq %rcx, 8(%rax)
movq -120(%rbp), %rcx
movq %rcx, 16(%rax)
callq __TIFSs5printFTGSaP__9separatorSS10terminatorSS_T_A0_
movq %rax, -128(%rbp)
movq %rdx, -136(%rbp)
movq %rcx, -144(%rbp)
callq __TIFSs5printFTGSaP__9separatorSS10terminatorSS_T_A1_
movq -80(%rbp), %rdi
movq -128(%rbp), %rsi
movq -136(%rbp), %r8
movq %rdx, -152(%rbp)
movq %r8, %rdx
movq -144(%rbp), %r9
movq %rcx, -160(%rbp)
movq %r9, %rcx
movq %rax, %r8
movq -152(%rbp), %r9
movq -160(%rbp), %rax
movq %rax, (%rsp)
callq __TFSs5printFTGSaP__9separatorSS10terminatorSS_T_
leaq -32(%rbp), %rdi
movq -48(%rbp), %rsi
movq -64(%rbp), %rax
callq *24(%rax)
movq -40(%rbp), %rdi
movq -48(%rbp), %rsi
movq -96(%rbp), %rax
callq *%rax
addq $176, %rsp
popq %rbp
retq
.cfi_endproc
.linker_option "-lswiftCore"
.linker_option "-lobjc"
.section __DATA,__objc_imageinfo,regular,no_dead_strip
L_OBJC_IMAGE_INFO:
.long 0
.long 768
.subsections_via_symbols
foo2的组件：
.section __TEXT,__text,regular,pure_instructions
.macosx_version_min 10, 10
.globl _main
.align 4, 0x90
_main:
.cfi_startproc
pushq %rbp
Ltmp0:
.cfi_def_cfa_offset 16
Ltmp1:
.cfi_offset %rbp, -16
movq %rsp, %rbp
Ltmp2:
.cfi_def_cfa_register %rbp
subq $16, %rsp
movq _globalini[email protected](%rip), %rax
movq [email protected](%rip), %rcx
movl %edi, (%rcx)
cmpq $-1, (%rax)
movq %rsi, -8(%rbp)
je LBB0_2
movq [email protected](%rip), %rdi
movq [email protected](%rip), %rax
movq %rax, %rsi
callq _swift_once
LBB0_2:
xorl %eax, %eax
movq __TZvO[email protected]GOTPCREL(%rip), %rcx
movq -8(%rbp), %rdx
movq %rdx, (%rcx)
addq $16, %rsp
popq %rbp
retq
.cfi_endproc
.private_extern __TF3foo3fooFPSs23CustomStringConvertible_T_
.globl __TF3foo3fooFPSs23CustomStringConvertible_T_
.align 4, 0x90
__TF3foo3fooFPSs23CustomStringConvertible_T_:
.cfi_startproc
pushq %rbp
Ltmp3:
.cfi_def_cfa_offset 16
Ltmp4:
.cfi_offset %rbp, -16
movq %rsp, %rbp
Ltmp5:
.cfi_def_cfa_register %rbp
subq $176, %rsp
movl $1, %eax
movl %eax, %ecx
movq %rdi, -40(%rbp)
movq %rcx, %rdi
callq __TTSg5P____TFSs27_allocateUninitializedArrayurFBwTGSaq__Bp_
movq [email protected](%rip), %rcx
movq %rcx, 24(%rdx)
movq -40(%rbp), %rcx
movq 24(%rcx), %rdi
movq -8(%rdi), %rsi
movq %rdi, -48(%rbp)
movq %rcx, %rdi
movq -48(%rbp), %r8
movq %rsi, -56(%rbp)
movq %r8, %rsi
movq -56(%rbp), %r9
movq %rax, -64(%rbp)
movq %rdx, -72(%rbp)
callq *16(%r9)
leaq -32(%rbp), %rdi
movq -40(%rbp), %rcx
movq 32(%rcx), %rdx
movq -48(%rbp), %rsi
movq %rsi, -8(%rbp)
movq -8(%rsi), %r8
movq %rax, %rsi
movq -48(%rbp), %rax
movq %rdx, -80(%rbp)
movq %rax, %rdx
movq %r8, -88(%rbp)
callq *40(%r8)
movq %rax, %rdi
movq -48(%rbp), %rsi
movq -80(%rbp), %rcx
movq %rax, -96(%rbp)
callq *(%rcx)
movq -96(%rbp), %rdi
movq -48(%rbp), %rsi
movq -88(%rbp), %r8
movq %rax, -104(%rbp)
movq %rdx, -112(%rbp)
movq %rcx, -120(%rbp)
callq *32(%r8)
movq -72(%rbp), %rax
movq -104(%rbp), %rcx
movq %rcx, (%rax)
movq -112(%rbp), %rcx
movq %rcx, 8(%rax)
movq -120(%rbp), %rcx
movq %rcx, 16(%rax)
callq __TIFSs5printFTGSaP__9separatorSS10terminatorSS_T_A0_
movq %rax, -128(%rbp)
movq %rdx, -136(%rbp)
movq %rcx, -144(%rbp)
callq __TIFSs5printFTGSaP__9separatorSS10terminatorSS_T_A1_
movq -64(%rbp), %rdi
movq -128(%rbp), %rsi
movq -136(%rbp), %r8
movq %rdx, -152(%rbp)
movq %r8, %rdx
movq -144(%rbp), %r9
movq %rcx, -160(%rbp)
movq %r9, %rcx
movq %rax, %r8
movq -152(%rbp), %r9
movq -160(%rbp), %rax
movq %rax, (%rsp)
callq __TFSs5printFTGSaP__9separatorSS10terminatorSS_T_
leaq -32(%rbp), %rdi
movq -48(%rbp), %rsi
movq -88(%rbp), %rax
callq *24(%rax)
movq -40(%rbp), %rax
movq 24(%rax), %rcx
movq -8(%rcx), %rdx
movq %rax, %rdi
movq %rcx, %rsi
callq *(%rdx)
addq $176, %rsp
popq %rbp
retq
.cfi_endproc
.linker_option "-lswiftCore"
.linker_option "-lobjc"
.section __DATA,__objc_imageinfo,regular,no_dead_strip
L_OBJC_IMAGE_INFO:
.long 0
.long 768
.subsections_via_symbols
大多存在于Ltmp5的差异，协议一致性需要附加说明。
在线比较here。
如果您的最终目标是更少的指令并希望使用泛型，那么foo1客观上“更好”。如果你只是想检查协议一致性，foo2客观上是“更好”，更易于阅读。
“我的问题是哪一个更好？” Stack Overflow不是一个好问题，因为它主要是基于意见的，答案将基于观点而非事实。 – JAL
@JAL在这方面已经解决了这个问题;它当然应该现在重新打开？ –
“哪一个具有更好的性能和代码足迹？”定义更好。你是说哪个代码运行速度更快？哪个产生较少的组装？目前还不清楚你的意思是否更好。如果你删除了它，只是问“编译器是否生成相同的二进制文件？”我可以回答这个问题。 – JAL