Question

我一直在研究一些代码（与线性代数有关）。我有许多类型应该能够相互增加。

当然，我认为“让我们使用_Generic”。只要参数类型的组合有效，它就可以工作。根据搜索引擎，一些图书馆已经使用虚拟函数上的属性来生成错误：

#include "stdio.h"

// Example struct.
typedef struct mat3_s
{
    float m[9];
} mat3;

// Dummy function.
mat3 mult(mat3 const *A, mat3 const *B)
{   
    return *A;
}

mat3 mults(mat3 const *A, float const *B)
{
    return *A;
}

typedef mat3 (*dummyptr)(void *A, void *B);
extern dummyptr INCOMPATIBLE_TYPES() __attribute__((error("Crikey"))); 

#define LMULT(A, B)\
    _Generic((A),\
    mat3: \
        _Generic((B),\
            mat3: mult, \
            float: mults, \
            default: INCOMPATIBLE_TYPES()),\
    default: INCOMPATIBLE_TYPES()) (&(A), &(B))

int main(int argc, char *argv[])
{
    mat3 a = {{0}};
    mat3 b = {{0}};
    mat3 c = LMULT(a, b);

    mat3 d = LMULT(a, "not kosher");

    // Inhibit GCC from optimising away above variables.
    printf("%p %p %p %p\n", &a, &b, &c, &d);
    return 0;
}

所涉及的体操是“INCOMPATIBLE_TYPES”功能。目前它不能很好地工作（如果有的话）。它只是GCC，而且很脆弱，而且......不太好。

由于GCC将_Pragma("gcc error \"Great heavens\"")扩展为生成的宏，因此

_Pragma无效。而这恰好位于_Generic - 表达式中，当然这是在稍后阶段处理的。

我即将放弃，只是给予胡言乱语（也称为C ++错误报告），希望它能提供足够的信息来解决可能存在的问题。

如果传递了两个没有相应功能的类型，是否有其他人有任何想法如何生成足够用户友好的消息？

Answer 1

至少对于您的示例，解决方案非常简单，省略default部分。然后，编译器将生成类型不匹配的错误。

让C在_Generic中生成错误

1 个答案: