一個形狀的文字創(chuàng)造了一個有價值的列表字段初始值設(shè)定項指定的字段命名的形狀。在該列表中不需要的形狀類型定義的字段說明符順序相同的字段的初始化順序。例如:

<?hh

namespace Hack\UserDocumentation\Shapes\Literals\Examples\Literals;

type Point = shape('x' => int, 'y' => int);

class C {
  // All the right hand side expressions are shape literals

  // Can't have a shape as a constant value
  const Point ORIGIN = shape('x' => 0, 'y' => 0);   // initializer rejected

  public static Point $p2 = shape('x' => 0, 'y' => 5);   // initializer okay
  public Point $p3 = shape('x' => 0, 'y' => 5);    // initializer okay
}

function createPoint(int $x = 0, int $y = 0): Point {
  return shape('y' => $y, 'x' => $x); // shape literal, no compile-time constant
}

function run(): void {
  var_dump(createPoint(9, 3));
  var_dump(new C());
}

run();

文字形狀必須初始化形狀中的所有字段。

請注意，與形狀一起使用的術(shù)語字面值是一個誤稱; 字段初始化器中的表達(dá)式不需要是編譯時常量。即使所有的初始化器都是常量表達(dá)式，生成的形狀文字本身也不是，因此不能在需要這樣的表達(dá)式的上下文中使用。