7.3.4 表示法

如果一个TemplateableElement有模板参数，一个小的虚线矩形会被叠加到该TemplateableElement的符号上，通常在它的图示的右上角（如果可以的话）。该虚线矩形包含形式参数列表。参数列表不能为空，尽管它可以在展现中被抑制。TemplateableElement的其它隔间则显示如常。 形式模板参数列表可以显示为逗号分隔的列表，或者每个一行。模板参数的一般性表示为一个字符串：

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

其中，<parameter-kind>是所公开的元素的元类的名称。<template-param-name>和<default>的语法取决于用于该模板参数的参数化元素的类型。

绑定元素与同类的其它元素具有相同的图示。模板绑定表示为一个虚线箭头，尾部连接绑定元素，箭头指向模板，同时带有关键字«bind»。绑定信息可以显示为逗号分隔的模板参数替换列表：

<template-param-substitution> ::= <template-param-name> '->' <actual-template-parameter>

其中，<template-param-name>的语法是形式模板参数的参数化元素的名称或限定名，<actual-template-parameter>的类型取决于用于该模板参数的参数化元素的类型。

另一种用于绑定的表示法是在绑定元素的图示中包含绑定信息。使用如下的语法来扩展绑定元素的名称以包含绑定表达式：

[<element-name> ':'] <binding-expression> [',' <binding-expression>]*

<binding-expression> ::= <template-element-name> '<' <template-param-substitution> [',' <template-param-substitution>]* '>'

<template-param-substitution>的定义如上。