向 C 函数提供错误的参数类型时引发错误/警告

Question

我有这个代码：

#include <stdint.h>

void something(float a);

int main()
{
   uint8_t a = 28;
   
   something(a);

   return 0;
}

void something(float a)
{
   
   printf("%f\n", a);
}

我正在使用类似的函数将不同类型的变量记录到文件中，并且我想收到一条错误/警告消息，因为我正在使用错误的参数类型调用函数 something（而不是 uint8_t浮动）。

我怎样才能做到这一点？

Answer 1

老派的技巧是将函数更改为使用指针，因为 C 中的指针的类型规则比整数和浮点要严格得多。

#include <stdio.h>
#include <stdint.h>

void something(const float* a);

int main()
{
   uint8_t a = 28;
   
   /* gcc -std=c11 -pedantic-errors */
   something(&a); // error: passing argument 1 of 'something' from incompatible pointer type
   something(a);  // error: passing argument 1 of 'something' makes pointer from integer without a cast

   return 0;
}

void something(const float* a)
{
   printf("%f\n", *a);
}

现代 C 版本：

#include <stdio.h>
#include <stdint.h>

void something_float (float a);

#define something(x) _Generic((x), float: something_float)(x)

int main()
{
   uint8_t a = 28;
   
   something(a); // error: '_Generic' selector of type 'unsigned char' is not compatible with any association

   return 0;
}

void something_float (float a)
{
   printf("%f\n", a);
}