在不运行程序的情况下获取常量表达式

Question

我有一个库(源代码和编译的)，我正在编写一个程序(没有链接到这个库)，它需要知道库中的某些类型是否可以简单地复制。

我可以让我的程序将以下代码写入file.cpp：

#include "mylibrary.hpp"
int main()
{
    std::cout << std::is_trivially_copyable<A>::value << '\n';
    std::cout << std::is_trivially_copyable<B>::value << '\n';
    std::cout << std::is_trivially_copyable<C>::value << '\n';
    std::cout << std::is_trivially_copyable<D>::value << '\n';
}

然后编译并运行这段代码，并解析输出。有没有更好的方法来获取这些信息？(性能很重要)。libclang能做到这一点吗？

因评论而更新：

关于XY的问题:我想要做的是，用rust写一个程序(叫做rust-bindgen)，它获取一个C++头文件的路径作为am参数，并为这个头文件生成rust-c++绑定。我需要根据类型是否是普通的可复制/可重定位来以不同的方式生成绑定。

因此，我有一个指向C++头文件的路径，我需要知道该头文件中定义的给定类型是否可以简单地复制。上面的方法是可行的，但速度很慢，因为它涉及到编译file.cpp。

我如何写一个快速的rust函数，它接受两个字符串作为参数并返回一个布尔值:第一个字符串是C++头文件的路径，第二个字符串是在所述头文件中定义的类型的名称。它应该返回一个布尔值，说明该类型是否是普通可复制的。

Answer 1

您将需要编译代码，至少编译为IR。这是因为C++类的琐碎可以依赖于任意复杂的计算，该计算的输入可能包括平台属性、可用标头、预处理器定义、编译器选项等，因此只能由C++编译器执行。

如果您以二进制形式调用clang，则发出IR的选项是clang -S -emit-llvm，然后您将需要解析LLVM输出；例如，对于

#include <type_traits>
struct A {};
struct B { B(B const&); };
struct C { ~C(); };
struct D { D(D const&) = default; };
int a = std::is_trivially_copyable<A>::value;
int b = std::is_trivially_copyable<B>::value;
int c = std::is_trivially_copyable<C>::value;
int d = std::is_trivially_copyable<D>::value;

IR为：

@a = dso_local local_unnamed_addr global i32 1, align 4, !dbg !0
@b = dso_local local_unnamed_addr global i32 0, align 4, !dbg !6
@c = dso_local local_unnamed_addr global i32 0, align 4, !dbg !10
@d = dso_local local_unnamed_addr global i32 1, align 4, !dbg !12
 ^ variable name                             ^ initializer

如果你想使用libclang，你需要调用EmitLLVMOnlyAction，给出一个Module，然后你可以从中提取GlobalVariable定义。请参阅：Method to create LLVM IR