禁止将浮点数转换为两倍

Question

我正在学习C编程，因此在编写代码时，脑海中浮现出一个问题。我正在编写适用于具有浮点数的数字的程序，但它不需要双变量提供的那么大的尾数。据我所知，由于最新的标准，C编译器会自动将float变量转换为double。所以我想知道是否存在禁止将定义为float的变量转换为double的C语法。是编译器定义的功能还是C语法功能（例如转换定义）？顺便说一下，我正在使用GCC。