c - 使用 typeof 建立单一数据类型

Question

我想制作一个仅适用于一种指定数据类型的程序。我将根据收到的第一个数据，使用 typeof 确定程序中所有数据的类型。

例如，在本例中:

int main() {    
    float a = 5;
    typeof(a) var1;
    typeof(b) var2;
    //etc...
}

但是如果我想使用库中包含的外部函数来做到这一点？

示例:

int main() {
    void* var1 = create_var("hello");  //with the first call 'create_var()' establish the data type: in this case -> string
    void* var2 = create_var("c");     //now i want that this is allowed
    void* var3 = create_var(2);      //and this is not allowed

如何实现这个功能？

Answer 1

当您编写框架来支持 create_var 函数时，您将发明一种新语言，一种支持运行时类型检查(而不是 C 的编译/链接时类型检查)和模板。这就是 C++ 所发生的情况(它最初是一组 C 的预处理器宏)。

从动态类型语言开始并将您自己的类型强制添加到数据类型和函数中可能会更容易。

以前的工作示例:

• Runtime Checking C Programs
• Template meta-programming in C vs opaque pointer
• typing - Support for type hints (Python)