Функция Swift с параметром, который соответствует протоколу

Я хочу написать функцию с параметром, который соответствует протоколу. Есть 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))

Оба они работают, как и ожидалось, а второй будет перекрывать 1-й, если они сосуществуют.

Является ли компилятор сгенерированным одним и тем же двоичным кодом?

источник

2016-03-17 soflare

«Мой вопрос в том, какой из них лучше?» Не очень хороший вопрос для переполнения стека, поскольку он основан прежде всего на мнениях, и ответы будут основываться на мнении, а не факте. – JAL

@JAL В этом отношении был задан вопрос; неужели он должен быть вновь открыт? –

", который имеет лучшую производительность и защищенность кода?" Определите лучше. Вы имеете в виду, какой код работает быстрее? Что дает меньше сборки? Пока неясно, что вы понимаете лучше. Если вы удалили это и просто спросили: «Скомпилирует ли компилятор тот же двоичный файл?» Я мог ответить на вопрос. – JAL

Рассмотрим две программы:

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 [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 объективно «лучше» и легче читать.

источник

2016-03-18 16:07:15 JAL

Функция Swift с параметром, который соответствует протоколу

ответ

Смежные вопросы