我想用符合協議的參數編寫函數。有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