对于结构变量s1，s2，为什么我可以初始化“s1 = {25,3.5}”，将s2分配为“s1 = s2”，但不能使用“s1 = {59,3.14}？

Question

在C语言中，如果一个结构变量的类型相同，我们可以将它们的值分配给另一个。根据这一点，在我的以下程序中，当两者都是struct变量时，我可以使用s1=s2相同类型的。但是为什么在那之后我不允许使用s1={59,3.14}？

我知道除了在初始化语句中之外，我们不能将字符串 "Test" 分配给字符数组 arr，因为对于字符串 "Test"，它在分配期间分解为类型 char*，因此存在类型不匹配错误。但是在我的程序中，{59,3.14} 不会分解为任何指针，是吗？为什么即使它是同一类型，也不允许将其分配给 s1，尤其是因为它在初始化？s2 和{59,3.14} 之间有什么区别，允许将一个分配给s1，而另一个则不允许？

#include<stdio.h>

int main(void)
{
    struct test1
    {
        int a;
        float b;
    } s1= {25,3.5},s2= {38,9.25};

    printf("%d,%f\n",s1.a,s1.b);

    s1=s2;   // Successful
    printf("%d,%f\n",s1.a,s1.b);

    s1= {59,3.14}; //ERROR:expected expression before '{' token|
    printf("%d,%f\n",s1.a,s1.b);

}

Answer 1

C 语法严格区分赋值和初始化。

对于初始化，右边的类型应该是什么很清楚：声明的对象的类型。所以初始化符号是明确的； { a, b, c } 是声明顺序的字段。

对于分配，事情不太清楚。赋值表达式X = Y 首先计算两个子表达式（X 和Y），查看它们的类型，然后进行必要的转换，如果可能的话，从Y 的类型到X 的类型。 { a, b, c } 形式的表达式没有类型，因此该机制不起作用。

yoones 在他的回答中使用的构造是另一种动物，称为复合文字。这是一种创建指定类型的未命名辅助对象的方法。您可以在初始化或您想要使用临时对象的任何其他地方使用它。复合文字的存储类和生命周期是从使用它的上下文中推断出来的。如果它在函数范围内，它是自动的（在“堆栈”上），就像在同一个块中声明的普通变量一样，只是它没有名称。如果它在文件范围内使用（例如，“全局”变量的初始化）具有静态存储持续时间和生命周期，即程序执行的整个持续时间。

Answer 2

你需要这样转换它：s1 = (struct test1){59, 3.14}; 让编译器知道它应该考虑你的 {...} 类型的 struct test1。

换句话说，您在括号中收集的数据没有类型，这就是为什么您需要使用强制转换来指定一个类型。

编辑：

编译器需要知道每个结构字段的预期类型。这需要知道每个参数、填充等的正确字节数。否则它也可以将值 59（这意味着是一个 int）复制为一个 char，因为它是一个适合一个字节的值。