电话
400 9058 355
typeid 用于运行时获取类型信息,返回 std::type_info 引用;decltype 用于编译期推导表达式类型;二者不可混用或替代,且 typeid.name() 结果依赖编译器实现。
typeid 和 decltype 解决的是两类完全不同的问题:前者在运行时获取类型信息(仅限多态类型或完整类型),后者在编译期推导表达式的类型——不能混用,也不能互相替代。
很多人以为 typeid(var).name() 直接输出可读类型名,但实际结果依赖编译器实现:g++ 输出 mangled 名(如 i 表示 int,std::vector),clang 类似,而 MSVC 虽较可读但仍非标准格式。
abi::__cxa_demangle(GCC/Clang)或 __unDName(MSVC)才能还原为可读名,且需手动管理内存typeid 对非多态类型(无虚函数的类)不保证跨翻译单元唯一性;对临时对象、纯右值调用可能触发未定义行为typeid(T)
T 未被具体化,可能编译失败)int x = 42; const std::type_info& ti = typeid(x); // 下面这行输出不可移植,不要用于日志或配置生成 std::cout << ti.name() << "\n";
decltype 看的是表达式“怎么写的”,而不是“算出来是什么”。它严格保留引用性、const/volatile 限定符,甚至能区分“变量名”和“带括号的变量名”这种微妙差异。
decltype(x) → int(x 是变量名)decltype((x)) → int&(加括号后变成左值表达式)decltype(func()) → 按函数返回类型声明推导,哪怕 func() 有副作用也不会执行template void f(T&& t) { g(std::forward(t)); } 中,decltype(std::forward(t)) 就是推导转发引用的关键依据用 typeid 做 if (typeid(a) == typeid(b)) 判断,看似直观,实则脆弱:
typeid 可能不等(尤其 Windows DLL 场景)更稳妥的方式是使用虚函数 + dynamic_cast:
struct Base { virtual ~Base() = default; };
struct Derived : Base {};
Base p = new Derived;
if (dynamic_cast>(p)) {
// 安全确认是 Derived 类型
}
写 decltype(auto) x = expr; 时,容易忽略 expr 的值类别。例如:
int a = 10; decltype(auto) b = a; → b 是 int(复制)int a = 10; decltype(auto) c = (a); → c 是 int&(引用,绑定到 a)a 生命周期结束,c 成为悬垂引用——这是静默的未定义行为除非明确需要保引用,否则优先用 auto;需要精确控制时,宁可显式写 int& 或 const int&,而非依赖 decltype 的“自动”行为。
邮箱:8955556@qq.com
Q Q:8955556
本文详解如何将Go官方present工具(用于生成HTML5...
PySNMP在不同版本中对SNMP错误状态(errorSta...
time.Sleep仅阻塞当前goroutine,其他gor...
PHPfopen()创建含特殊符号的文件名失败主因是操作系统...
WooCommerce中通过代码为分组产品动态聚合子商品的属...
io.ReadFull返回io.ErrUnexpectedE...
本文详解Yii2中控制器向视图传递ActiveRecord数...
本文详解为何通过wp_set_object_terms()为...
Pytest中使用@mock.patch类装饰器会导致补丁泄...
带缓冲的channel是并发安全的FIFO队列;make(c...