为什么Clang将显式强制转换解释为隐式强制转换?

Why does Clang interprets an explicit cast as an implicit cast ?

本文关键字：转换 解释 Clang 为什么      更新时间：2023-10-16

我最近一直在研究Clang，当解析显式强制转换时，总是会出现这种小好奇。

为了明确我的观点，下面是一些基本代码: 
int main(){
    int my_int; 
    float my_float; 
    my_int = (int) my_float; 
    return 0; 
}

当然，您会期望my_int = (int) my_float;被解析为CStyleCastExpr, CastKind为CK_FloatingToIntegral，但事实并非如此，而且，事实上，转换的性质存储在ImplicitCastExpr中，而CStyleCastExpr持有NoOp性质。

下面是这段代码的匹配AST-dump: 

|-DeclStmt 0x2eb3528 <line:3:1, col:11>
| `-VarDecl 0x2eb34d0 <col:1, col:5> my_int 'int'
|-DeclStmt 0x2eb35a8 <line:4:1, col:15>
| `-VarDecl 0x2eb3550 <col:1, col:7> my_float 'float'
|-BinaryOperator 0x2eb3678 <line:5:1, col:16> 'int' lvalue '='
| |-DeclRefExpr 0x2eb35c0 <col:1> 'int' lvalue Var 0x2eb34d0 'my_int' 'int'
| `-CStyleCastExpr 0x2eb3650 <col:10, col:16> 'int' <NoOp>
|   `-ImplicitCastExpr 0x2eb3638 <col:16> 'int' <FloatingToIntegral>
|     `-ImplicitCastExpr 0x2eb3620 <col:16> 'float' <LValueToRValue>
|       `-DeclRefExpr 0x2eb35e8 <col:16> 'float' lvalue Var 0x2eb3550 'my_float' 'float'
`-ReturnStmt 0x2eb36c0 <line:6:1, col:8>
  `-IntegerLiteral 0x2eb36a0 <col:8> 'int' 0

这似乎有点令人困惑，因为ImplicitCastExpr应该只有在发生意外强制转换时才会被识别(参见下面的代码)。

int main(){
    int my_int;
    float my_float; 
    // implicit cast from float to int
    my_int = my_float;
    return 0; 
}

你能解释一下吗?

这似乎是clang实现的副作用:

http://comments.gmane.org/gmane.comp.compilers.clang.devel/17369

生成转换节点的源代码文件为:

https://github.com/llvm-mirror/clang/blob/master/lib/Sema/SemaCast.cpp

相关文章：