swift - swift 编译器/链接器是否会自动删除未使用的方法/类/扩展等?
问题描述
我们有很多代码可以在我们编写的任何 iOS 应用程序中使用。诸如:
- 自定义/通用控件
- UIView、UIImage 和 UIViewController 等常见对象的扩展
- 全局效用函数
- 全局常量
- 构成常见“功能”的相关文件集,例如可以与任何可以枚举的内容一起使用的选择器屏幕。
由于与此问题无关的原因,我们不能使用静态或动态库。这些必须作为实际源文件包含在项目中。
这些“核心”文件有数百个,所以我一直在做的是将所有文件添加到项目中(引用磁盘上的共享位置),但仅在使用/需要时将它们添加到特定目标。
问题是这样做变得相当乏味,尤其是当有一组相关文件都引用其他文件时。一个一个地追踪他们是一个真正的痛苦!
我想知道是否可以简单地将所有内容包含在目标中,然后依靠编译器删除所有未使用的代码。
例如,我在 UIView 上有几个扩展方法。如果我不在特定目标中使用它们,编译器会从已编译的二进制文件中排除该代码,还是将其编译为无法访问,无缘无故地膨胀代码大小?
解决方案
死函数
编译器的 SILOptimizer有一个死函数消除 pass,它消除了已知不被调用的函数和方法(以及任何关联的 vtable/witness 表条目)。
为了充分利用这一点,您需要使用整个模块优化( -wmo
) 以确保编译器可以分析是否internal
从同一模块中调用函数。
您可以很容易地自己测试一下,例如使用以下代码:
class C {}
extension C {
@inline(never) func foo() {}
@inline(never) func bar() {}
}
@inline(never) func foo() {}
@inline(never) func bar() {}
bar()
let c = C()
c.bar()
(我在@inline(never)
这里使用非官方来确保函数不会被内联优化掉)
如果我们运行xcrun swiftc -emit-sil -O -wmo main.swift | xcrun swift-demangle
,我们可以看到生成的 SIL:
sil_stage canonical
import Builtin
import Swift
import SwiftShims
class C {
init()
deinit
}
extension C {
@inline(never) func foo()
@inline(never) func bar()
}
@inline(never) func foo()
@inline(never) func bar()
let c: C
// c
sil_global hidden [let] @main.c : main.C : $C
// main
sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
// function_ref bar()
%2 = function_ref @main.bar() -> () : $@convention(thin) () -> () // user: %3
%3 = apply %2() : $@convention(thin) () -> ()
alloc_global @main.c : main.C // id: %4
%5 = global_addr @main.c : main.C : $*C // user: %8
%6 = alloc_ref $C // users: %8, %7
debug_value %6 : $C, let, name "self", argno 1 // id: %7
store %6 to %5 : $*C // id: %8
// function_ref specialized C.bar()
%9 = function_ref @function signature specialization <Arg[0] = Dead> of main.C.bar() -> () : $@convention(thin) () -> () // user: %10
%10 = apply %9() : $@convention(thin) () -> ()
%11 = integer_literal $Builtin.Int32, 0 // user: %12
%12 = struct $Int32 (%11 : $Builtin.Int32) // user: %13
return %12 : $Int32 // id: %13
} // end sil function 'main'
// C.__deallocating_deinit
sil hidden @main.C.__deallocating_deinit : $@convention(method) (@owned C) -> () {
// %0 // users: %3, %2, %1
bb0(%0 : $C):
debug_value %0 : $C, let, name "self", argno 1 // id: %1
debug_value %0 : $C, let, name "self", argno 1 // id: %2
dealloc_ref %0 : $C // id: %3
%4 = tuple () // user: %5
return %4 : $() // id: %5
} // end sil function 'main.C.__deallocating_deinit'
// bar()
sil hidden [noinline] @main.bar() -> () : $@convention(thin) () -> () {
bb0:
%0 = tuple () // user: %1
return %0 : $() // id: %1
} // end sil function 'main.bar() -> ()'
// specialized C.bar()
sil shared [noinline] @function signature specialization <Arg[0] = Dead> of main.C.bar() -> () : $@convention(thin) () -> () {
bb0:
%0 = tuple () // user: %1
return %0 : $() // id: %1
} // end sil function 'function signature specialization <Arg[0] = Dead> of main.C.bar() -> ()'
sil_vtable C {
#C.deinit!deallocator: @main.C.__deallocating_deinit // C.__deallocating_deinit
}
您会注意到只有bar
函数和方法的主体已发射(靠近底部)。虽然 SIL 顶部仍有定义foo
,但随着 SIL 降低到 LLVM IR,它们会被删除。
我想知道你是否可以标记/归因一个方法说“不要删除这个!” 像其他语言一样
目前还没有官方的属性,但是有一个下划线的@_optimize(none)
属性告诉优化器不要碰某些东西:
@_optimize(none) func foo() {}
尽管给定属性已下划线,但使用风险自负。
死类型元数据
不幸的是,当前的编译器(从 Swift 4.2 开始)似乎没有优化通道来消除已知不使用的类型的相关元数据。
推荐阅读
- c# - 简单的游戏如何让电脑先走?
- .net - Microsoft 对 .NET 中的 HEIF/HEIC 的支持?
- html - 如何对齐列表元素之间的空间
- html -
- c++ - 如果一个字符串在 C/C++ 中没有 NUL 字符会发生什么(以防编译器让它通过)?
- rxjs - RxJs - 动作完成后 Redux-Observable 导航
- javascript - 由于不允许的 MIME 类型(“text/html”),模块被阻止
- c# - 由于身份验证,调用 management.azure.com API 失败
- sharepoint-online - 列表 SharePoint Online 中的 Add-PnPCustomAction 自定义操作
- python - 如何覆盖/隐藏另一个模块的功能?类似于 shim 或 LD_PRELOAD 技巧