为什么Objective-C将完整的C ++类型名称包含在二进制文件中作为字符串？我可以摆脱它吗？

Question

当我将C ++类型添加为Objective-C ivar时，我得到包含该类型的全名，作为字符串：

@interface Test {
    std::vector<int> _vector;
    std::unordered_map<int, std::vector<std::string>> _map;
}

@end

@implementation Test
@end

结果是：

.L__unnamed_2:
        .asciz  "_vector"

.L__unnamed_3:
        .asciz  "{vector<int, std::allocator<int> >=\"_M_impl\"{_Vector_impl=\"_M_start\"^i\"_M_finish\"^i\"_M_end_of_storage\"^i}}"

__objc_ivar_offset_value_Test._vector:
        .long   0                       # 0x0

.L__unnamed_4:
        .asciz  "_map"

.L__unnamed_5:
        .asciz  "{unordered_map<int, std::vector<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char> > >, std::hash<int>, std::equal_to<int>, std::allocator<std::pair<const int, std::vector<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char> > > > > >=\"_M_h\"{_Hashtable<int, std::pair<const int, std::vector<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char> > > >, std::allocator<std::pair<const int, std::vector<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char> > > > >, std::__detail::_Select1st, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, false, true> >=\"_M_buckets\"^^{_Hash_node_base}\"_M_bucket_count\"Q\"_M_before_begin\"{_Hash_node_base=\"_M_nxt\"^{_Hash_node_base}}\"_M_element_count\"Q\"_M_rehash_policy\"{_Prime_rehash_policy=\"_M_max_load_factor\"f\"_M_next_resize\"Q}\"_M_single_bucket\"^{_Hash_node_base}}}"

Compiler Explorer link-请注意我正在使用-Os。

后者使用std::unordered_map，大约1kb。这是什么目的，我可以摆脱它吗？

Answer 1

该信息是Objective-C运行时使用的类型编码所必需的，也是动态调度工作方式的一部分。它可以通过询问运行时来检索：

Ivar *ivars = class_copyIvarList([Test class], NULL);
printf("%s\n", ivar_getTypeEncoding(ivars[1]));
free(ivars); ivars = NULL;

为了消除它，您需要避免将C ++类型直接放在ObjC对象中。你可以通过拳击来减少冗长：

class Box {
    std::vector<int> _vector;
    std::unordered_map<int, std::vector<std::string> > *_map;
};

@interface Test: NSObject {
    Box box;
}
@end

产量

{Box="_vector"{vector<int, std::__1::allocator<int> 
>="__begin_"^i"__end_"^i"__end_cap_"{__compressed_pair<int *, 
std::__1::allocator<int> >="__value_"^i}}"_map"^{unordered_map<int, 
std::__1::vector<std::__1::basic_string<char>, 
std::__1::allocator<std::__1::basic_string<char> > >, std::__1::hash<int>, 
std::__1::equal_to<int>, std::__1::allocator<std::__1::pair<const int, 
std::__1::vector<std::__1::basic_string<char>, 
std::__1::allocator<std::__1::basic_string<char> > > > > >}}

并且指向框的指针稍微小一些：

^{Box={vector<int, std::__1::allocator<int> >=^i^i{__compressed_pair<int *,
std::__1::allocator<int> >=^i}}^{unordered_map<int,
std::__1::vector<std::__1::basic_string<char>, 
std::__1::allocator<std::__1::basic_string<char> > >, std::__1::hash<int>,
std::__1::equal_to<int>, std::__1::allocator<std::__1::pair<const int, 
std::__1::vector<std::__1::basic_string<char>, 
std::__1::allocator<std::__1::basic_string<char> > > > > >}}

当然，你可以进一步将盒子变成void *并根据需要进行投射，或者可能将它隐藏在更简单的C ++类型和pimpl背后（我没有尝试过这种方法来查看它是否有效）。但是如果将C ++（或其他任何东西）直接放在ObjC ivar中，它必须存储运行时类型的名称。