模板和绑定元素的一般化表示请参见模板元素。

当一个绑定的分类符直接用做一个属性的类型时，<template-param-name>用做属性的_prop-type（参见属性）。

7.3.4中规定的模板参数的一般化表示法使用如下扩展来表示模板分类符参数：

<template-parameter> ::= <classifier-template-parameter> | <operation-template-parameter> | <connectableelement-template-parameter>

分类符模板参数扩展了模板参数以包含一个可选的类型约束：

<classifier-template-parameter> ::= <parameter-name> [':' <parameter-kind>] ['>' <constraint>] ['=' <default>]

<constraint> ::= ['{contract}'] <classifier-name>*

<default> ::= <classifier-name>

parameter-kind指示参数化元素的元类。如果它是‘Class’则可以被抑制。

constraint的classifier-name指定了一个constrainingClassifer。'contract'选项指示allowSubstitutable为真。

9.3.4 表示法

results matching ""