var声明时不赋值会怎样
var关键字在c#中代表隐式类型，编译器必须根据右侧的表达式推断出具体的数据类型。如果在声明时没有提供初始值，编译器就失去了推断类型的依据，因此会直接报错，无法完成编译。
using System;
namespace VarDemo
{
class Program
{
static void Main()
{
// 错误示例：缺少初始值
// var x;
// 正确示例：提供初始值
var y = 10;
Console.WriteLine(y.GetType());
}
}
}上述代码展示了正确的用法。当取消注释 var x; 时，编译器会提示“使用未赋值的局部变量”或类似的类型推断错误。只有像 var y = 10; 这样提供了具体值的语句，编译器才能确定 y 是 int 类型。
如何为 var 赋予不同来源的值
只要右侧表达式的结果具有明确的静态类型，就可以将其赋值给 var。这包括字面量、方法返回值、对象实例化以及常量等。关键在于表达式必须在编译期可解析出类型。
using System;
using System.Collections.Generic;
namespace VarTypes
{
class Program
{
static string GetInfo() => "test";
static void Main()
{
var str = "hello"; // 字符串
var num = 42; // 整数
var list = new List<int>(); // 泛型集合
var info = GetInfo(); // 方法返回
Console.WriteLine(str);
Console.WriteLine(num);
Console.WriteLine(list.Count);
Console.WriteLine(info);
}
}
}运行该程序将依次输出字符串内容、整数数值、列表当前长度（0）以及方法返回的文本。这些例子证明了 var 可以适应多种数据源，前提是它们都能被编译器识别为具体的类型。
为什么不能先声明后赋值
即使后续代码中会给变量赋值，var 也不允许分两步走。这是因为 C# 的类型系统要求在变量作用域内，其类型必须在第一次使用时就被完全确定。如果允许先声明后赋值，编译器将无法在声明点建立类型绑定，这会破坏静态类型检查的一致性。
using System;
namespace LateAssign
{
class Program
{
static void Main()
{
// 这种写法在 C# 中是不允许的
// var z;
// z = 5;
// 替代方案：使用 dynamic 或明确指定类型
dynamic d = 5;
int explicitInt = 5;
Console.WriteLine(d + 1);
Console.WriteLine(explicitInt + 1);
}
}
}如果确实需要延迟赋值，可以使用 dynamic 关键字，它会在运行时进行类型检查。或者直接使用显式类型声明，如 int z;，然后在后面赋值。但 var 的设计初衷就是为了简化具有明确初始值的声明过程，因此强制要求即时赋值。
