C#中程序结构的关键概念为程序、命名空间、类型、成员和程序集。C#程序包括一个或多个源文件。程序中声明类型，类型包含成员并能够被组织到命名空间中。类和接口是类型的例子。字段、方法、属性和事件则是成员的例子。当C#程序被编译时，它们被物理地打包到程序集中。程序集的文件扩展名一般为.exe或者.dll，这取决于它们是实现为应用程序（application），还是类库（library）。
示例：
using System;namespace Acme.Collections{ public class Stack { Entry top; public void Push(object data){ top=new Entry(top,data); } public object Pop(){ if (top==null) throw new InvalidOperationException(); object result=top.data; top=top.next; return result; } class Entry { public Entry next; public object data; public Entry(Entry next,object data){ this.next=next; this.data=data; } } }}在叫做Acme.Collections的命名空间下，声明名为Stack的类，这个类的完全限定名就是Acme.Collections.Stack。它包括几个成员：一个名为top的字段，两个分别命名为push和pop的方法，以及一个名为Entry的嵌套类。Entry类又进一步包括三个成员：一个名为next的字段，一个名为data的字段，以及一个构造函数。假定这个示例的源程序被存为acme.cs文件，命令行为：
csc /t:library acme.cs
（本文来源于图老师网站，更多请访问https://m.tulaoshi.com/bianchengyuyan/）将这个示例编译为类库（不带Main入口点的代码），并且产生一个名为acme.dll的程序集。
程序集包括中间语言（Intermediate Language，IL）指令形式的可执行代码，以及元数据（metadata）形式的符号信息。在它执行之前，程序集的IL代码将被.NET公共语言运行库（Common Language Runtime，CLR）自动转换成特定处理器的代码。
由于程序集是自描述的功能单元，它既包括代码，也包括元数据，因此，在C#中不需要#include指令和头文件。假如某个C#程序需要引用特定程序集中的公共类型和成员，那么只在编译时简单地引用那个程序集就可以了。例如，下面的程序使用来自acme.dll程序集中的Acme.Collections.Stack类：
using System;using Acme.Collections;class Test{ static void Main(){ Stack s=new Stack(); s.Push(1); s.Push(10); s.Push(100); Console.WriteLine(s.Pop()); Console.WriteLine(s.Pop()); Console.WriteLine(s.Pop()); }}（本文来源于图老师网站，更多请访问https://m.tulaoshi.com/bianchengyuyan/）如果程序被存为test.cs文件，那么，在test.cs被编译时，acme.dll可以通过/r选项被引用：
csc /r:acme.dll test.cs
这样可以创建一个名为test.exe的可执行程序集，运行结果如下：
100
10
1
C#允许一个程序的源文本被存为几个源文件。当多文件的C#程序被编译时，所有的源文件都被一起处理，并且各个源文件从概念上能够自由地相互引用，就如同处理之前，所有的源文件被连接成一个大文件。在C#中向前声明是没有必要的，原因就是声明的顺序无关紧要。C#不限制一个源文件只能声明一个公共类型，也不要求源文件名必须与该文件中的类型相匹配译注1。
