| | | | | | | [文章信息] | | | 作者: | lover_P编译 | | 时间: | 2005-04-15 | | 出处: | BLOG | | 责任编辑: | 方舟 | |
| [文章导读] | | | G#是我在过去几个月里构思出来的一种新的程序设计语言。其目的是生成类型安全的代码 | |
| |
|
| | | |
|
|
|
|
|
生成器的继承
我们上面的例子表明，生成器就是生成的包容器，但是其中还可以包含类能够包含的所有成员（如方法、属性、域、事件等等）。此外可见性和其他修饰符如virtual也可以用于生成。因此，生成器是面向对象的，并且可以彼此继承。这样做的原因和类类似：这允许基生成器定义一个基本的注入行为，并由子生成器定义更多的特殊的行为。 public class Client
{
protected string message;
public Client()
{
this.message = “Hello World”;
Messenger(this.message);
}
private void Messenger(string message)
{
onsole.WriteLine(message);
}
}
public generator Base
{
protected virtual generation ChangeIt : target Client.Messenger(*)
{
pre
{
string message = “Hello G#”;
}
post
{
this.message = message;
}
}
}
public generator Sub : Base
{
protected override generation ChangeIt : target Client.Messenger(string message)
{
pre
{
base.pre();
message = capture.message;
}
post
{
capture.message = message;
base.Post();
}
}
} |
下面给出了发出的Messenger方法。我们来分解一下这些代码。Sub生成器从Base生成器派生而来，并且重写了“基类”中的“方法”ChangeIt。“基类”中使用星号（*）定义了一个目标，它可以被任何参数取代，这意味着它的目标可以是Client类中Messenger的所有重载形式。稍后我们将介绍定义目标的细节。凭经验就可以知道一个基本的规则是，在重写的生成中必须为目标指定更多的特性。在代码的另外一部分中，我们使用了关键字base来访问基生成器的pre和post，因此我们可以决定是在Base生成器发出代码之前还是之后发出Sub生成器的代码。
private void Messenger(string message)
{
// Base
string capture.message = “Hello G#”;
// Sub
message = capture.message;
Console.WriteLine(message);
// Sub
capture.message = message;
// Base
this.message = capture.message;
} |
捕获
关键字capture用于引用在同一个生成的作用域中定义的变量，即使这个变量定义在基生成器中。能够访问这些变量的原因是，所有生成的代码都将位于相同的作用域中。在访问被捕获（Capture）的变量时，关键字capture并不是必需的，但这里的Messenger方法使用了同名的变量，在这种情况下，就需要关键字capture来解决混淆问题。变量message定义在Base生成器的ChangeIt生成中，而其目标Messenger方法中也有可能定义同名的参数，因为我们在定义中使用了星号（*）通配符。这种请况很可能发生，因为生成中可以定义局部变量，并且稍后在其目标方法的重载中也可以定义同名的局部变量。如果G#不对其采取行动的话，当目标方法中定义了和生成中的局部变量同名的变量时，就会引发一个编译错误。
分节符
为了指出如何发出代码，G#提供了能够通过执行代码来取代发出代码。这通过“§”符号来实现，该符号称作分节符（Section Sign）。该符号在Times New Roman字体中是这样的：§，而在Courier New字体（译注：原文是Courier字体，这里为了同一代码格式使用了Courier New字体，两者非常相似）中是这样的：§。当在代码中放置了§的时候，其后的代码将被执行，而不是被发出：
pre
{
§ for(int i = 0; i < 10; i++)
§ {
Console.WriteLine(i);
§ }
} |
绿色高亮的代码在编译期间将被执行而不是被发出。从这个pre块发出的代码是这样的：
Console.WriteLine(0);
Console.WriteLine(1);
Console.WriteLine(2);
Console.WriteLine(3);
Console.WriteLine(4);
Console.WriteLine(5);
Console.WriteLine(6);
Console.WriteLine(7);
Console.WriteLine(8);
Console.WriteLine(9);
Console.WriteLine(10); |
注意当这几行代码被发出时，“i”被它的整数值取代了。G#知道如何注入基本类型如int和float的值，但他无法发出类或其他自定义的复杂类型。如果§后跟了一个方法，该方法的返回值类型必须是基本类型、void或emit，如果是其他类型，则编译过程将会破坏返回的所有东西。我们将在下一节里解释关键字emit。我从来没有见过哪个键盘上有§符号，不过可以通过定义组合快捷键来产生这个符号，我选择“Ctrl+l”（小写的L）来在Word里输出这个符号，并且在Visual Studio .NET中为这个快捷键组合写了一个宏来输出这个符号。
|
|
|
|
|
|
|
|
