diff options
Diffstat (limited to 'doc/go_spec.html')
| -rw-r--r-- | doc/go_spec.html | 33 |
1 files changed, 3 insertions, 30 deletions
diff --git a/doc/go_spec.html b/doc/go_spec.html index ebd79bb80..2c905c723 100644 --- a/doc/go_spec.html +++ b/doc/go_spec.html @@ -1,6 +1,6 @@ <!--{ "Title": "The Go Programming Language Specification", - "Subtitle": "Version of March 1, 2012", + "Subtitle": "Version of March 17, 2012", "Path": "/ref/spec" }--> @@ -75,7 +75,7 @@ double quotes <code>""</code> or back quotes <code>``</code>. <p> The form <code>a … b</code> represents the set of characters from <code>a</code> through <code>b</code> as alternatives. The horizontal -ellipis <code>…</code> is also used elsewhere in the spec to informally denote various +ellipsis <code>…</code> is also used elsewhere in the spec to informally denote various enumerations or code snippets that are not further specified. The character <code>…</code> (as opposed to the three characters <code>...</code>) is not a token of the Go language. @@ -1321,7 +1321,7 @@ Two types are either <i>identical</i> or <i>different</i>. <p> Two named types are identical if their type names originate in the same -type <a href="#Declarations_and_scope">declaration</a>. +<a href="#Type_declarations">TypeSpec</a>. A named and an unnamed type are always different. Two unnamed types are identical if the corresponding type literals are identical, that is, if they have the same literal structure and corresponding components have identical types. In detail: @@ -5403,10 +5403,6 @@ type Pointer *ArbitraryType func Alignof(variable ArbitraryType) uintptr func Offsetof(selector ArbitraryType) uinptr func Sizeof(variable ArbitraryType) uintptr - -func Reflect(val interface{}) (typ runtime.Type, addr uintptr) -func Typeof(val interface{}) (typ interface{}) -func Unreflect(typ runtime.Type, addr uintptr) interface{} </pre> <p> @@ -5446,23 +5442,6 @@ Calls to <code>Alignof</code>, <code>Offsetof</code>, and <code>Sizeof</code> are compile-time constant expressions of type <code>uintptr</code>. </p> <p> -The functions <code>unsafe.Typeof</code>, -<code>unsafe.Reflect</code>, -and <code>unsafe.Unreflect</code> allow access at run time to the dynamic -types and values stored in interfaces. -<code>Typeof</code> returns a representation of -<code>val</code>'s -dynamic type as a <code>runtime.Type</code>. -<code>Reflect</code> allocates a copy of -<code>val</code>'s dynamic -value and returns both the type and the address of the copy. -<code>Unreflect</code> inverts <code>Reflect</code>, -creating an -interface value from a type and address. -The <a href="/pkg/reflect/"><code>reflect</code> package</a> built on these primitives -provides a safe, more convenient way to inspect interface values. -</p> - <h3 id="Size_and_alignment_guarantees">Size and alignment guarantees</h3> @@ -5499,9 +5478,3 @@ The following minimal alignment properties are guaranteed: <p> A struct or array type has size zero if it contains no fields (or elements, respectively) that have a size greater than zero. Two distinct zero-size variables may have the same address in memory. </p> - - -<h2 id="Implementation_differences">Implementation differences - TODO</h2> -<ul> - <li><span class="alert"><code>len(x)</code> is only a constant if <code>x</code> is a (qualified) identifier denoting an array or pointer to an array.</span></li> -</ul> |