模板函数总是用完全参数化的类型指定的。
Template functions are always specified with fully parameterized types.
当你编译一个范型类时，MSIL为每一个参数化的类型预留了空间。
When you compile a generic class, MSIL contains placeholders for each parameterized type.
智能：智能跟踪程序是一个参数化的类型，它与跟踪程序中的某种其他类型相映射。
Smart: The smart tracer is a parameterized type that maps to one of the other types in the tracer.
从属类型是运行时值参数化的类型(与泛型比较，泛型是其它类型参数化的类型)。
Dependent types are types parameterized by run-time values (compare this with generic types, which are parameterized by other types).
表示不变量的另一种方法是泛型-作为其它类型参数化的类型来支持类型系统(本专栏中最近一系列文章的主题)。
Another approach to expressing invariants is to bolster the type system with generic types, types parameterized by other types (the topic of our the most recent series of articles in this column).
它是基于其输入和输出数据类型参数化的。
It is parameterized based on its input and output data types.
既然类型参数被擦除为它们的界限，而界限不能是基本类型，所以一旦类型被擦除，则对基本类型的实例化会完全没有意义。
Since type parameters are erased to their bounds and the bounds can't be primitive types, there is no way that an instantiation with primitive types would make sense once the types are erased.
getSignatureInstance()方法实际地构建新的泛型类模板，然后为参数类型的具体列表实例化这些模板。
The getSignatureInstance() method is what actually builds new generic class templates and then instantiates these templates for specific lists of parameter types.
此方法签名包含单个松散类型化的DataObject参数，名为user，由开发人员确定运行时输入DataObject将包含哪个功能。
The method signature has a single loosely typed DataObject argument named user, and is up to the developer to know which features the input DataObject will contain at runtime.
它基于输入和输出(key,value)对的类型进行参数化。
It is parameterized based on the types of the input and output (key, value) pairs.
这么做很好，但是没有真正利用到Tiger的另一项特性——泛型(有时也叫作参数化类型)。
This is nice, but doesn't really take advantage of another important Tiger feature: generics (sometimes called parameterized types).
Box由类型参数t参数化，该参数表示Box内容的类型，Box只能包含String类型的元素。
Box is parameterized by a type parameter t, which signifies the type of the contents of the box; a box can contain only elements of type String.
这里有一个名为 map的简单实现方法，该方法基于输入 (key,value)对的类型进行参数化。
There is a single method to implement called map (which is parameterized based on the types of the (key,value) pair that are the input).
最后，这个数据被写到Context对象(它的write方法基于映射生成的(key,value)对的类型进行参数化)。
Finally, this data is written to the Context object (whose write method is parameterized based on the types of the (key, value) pair that are produced by map).
但是在我们对超类所知的一切只限于它是类型参数的实例化时，对于什么样的构造函数可用于给定的实例化，我们没有任何概念。
But when all we know about our superclass is that it's some instantiation of a type parameter, we have no idea what constructors will be available for a given instantiation.
然后会自动地从方法参数中推断出类型参数的实例化。
Then the type parameter instantiations would be inferred automatically from the method arguments.
所有者类型是一个所有者对象参数化的对象的类型。
Ownership types are types of objects that are parameterized by an owner object.
方法参数和返回类型必须是可序列化的。
The method parameters and return types must be serializable.
因此，如果出现代码生成问题，那么最有可能的是代码生成器不能处理您的服务类中的方法参数或返回类型的序列化。
Therefore, if a code generation problem occurs, it is most likely that the code generator can not handle the serialization of the method parameters or return types in your service class.
首先，可以采用与处理复杂属性相同的方法；可以将所需的多个参数序列化在一起，形成一个字符串类型的参数。
First, you can take the same approach as you did with properties; you can serialize the required arguments together into a single type of string.
于是就有了我们最初的想法：一组消息的集合，其中每条消息都有名称，以及一组类型化的参数。
Here's our first idea: a collection of messages, where each message has a name and a list of typed parameters.
这个子接口提供了关于数组类型的信息，数组的组件类型可以是参数化的，也可以是一个类型变量。
This subinterface provides information about array types, where the component type of the array is either parameterized or a type variable.
如何定义具有数量可变的参数(每个参数的类型可能不同)的模板化类或函数？
How do you define a templated class or a function with a variable number of arguments, each with a potentially different type?
由于类并非参数化类型，所以未为该类本身的二进制类表示添加任何签名。
Because the class is not a parameterized type, no signature is added to the binary class representation for the class itself.
而在清单12中的操作则采用结构化类型作为单个粗粒度参数。
In Listing 12 the operation takes a structured type as a single coarse-grained parameter.
此外，参数和返回值必须属于GWT可以序列化的类型。
Also, your parameters and return value must be of types that GWT can serialize.
包含额外的类型参数注释，告知我们这些实例化必须包含哪些构造函数。
Include additional annotations on type parameters telling us which constructors those instantiations must contain.
当然，我们可以完全不使用显式的范围，只要能确保没有用不适当的类型来实例化类型参数。
Of course, we could simply leave off the explicit bound and just make sure that we never instantiate the type parameter with an inappropriate type.
由于清单2中的类为参数化类型，所以类签名需要以二进制类形式表示。
Because the Listing 2 class is a parameterized type, the class signature needs to be present in the binary class representation.
由于清单2中的类为参数化类型，所以类签名需要以二进制类形式表示。
Because the Listing 2 class is a parameterized type, the class signature needs to be present in the binary class representation.
应用推荐