Type ::=

Description

Clause

‘!’ Int32

Generic parameter in a type definition, accessed by index from 0

9.1

| ‘!!’ Int32

Generic parameter in a method definition, accessed by index from 0

9.2

| bool

Boolean

7.2

| char

16-bit Unicode code point

7.2

| class TypeReference

User defined reference type

7.3

| float32

32-bit floating-point number

7.2

| float64

64-bit floating-point number

7.2

| int8

Signed 8-bit integer

7.2

| int16

Signed 16-bit integer

7.2

| int32

Signed 32-bit integer

7.2

| int64

Signed 64-bit integer

7.2

| method CallConv Type ‘*’

‘(’ Parameters ‘)’

Method pointer

14.5

| native int

32- or 64-bit signed integer whose size is platform-specific

7.2

| native unsigned int

32- or 64-bit unsigned integer whose size is platform-specific

7.2

| object

See System. Object in Partition IV

?

| string

See System.String in Partition IV

?

| Type ‘&’

Managed pointer to Type. Type shall not be a managed pointer type or typedref

14.4

| Type ‘*’

Unmanaged pointer to Type

14.4

| Type ‘<’ GenArgs ‘>’

Instantiation of generic type

9.4

| Type ‘[’ [ Bound [ ‘,’ Bound ]*] ‘]’

Array of Type with optional rank (number of dimensions) and bounds.

14.1and 14.2

| Type modopt ‘(’ TypeReference ‘)’

Custom modifier that can be ignored by the caller.

7.1.1

| Type modreq ‘(’ TypeReference ‘)’

Custom modifier that the caller shall understand.

7.1.1

| Type pinned

For local variables only. The garbage collector shall not move the referenced value.

7.1.2

| typedref

Typed reference (i.e., a value of type System.TypedReference), created by mkrefany and used by refanytype or refanyval.

7.2

| valuetype TypeReference

(Unboxed) user defined value type

13

| unsigned int8

Unsigned 8-bit integer

7.2

| ?unsigned intl6

Unsigned l6-bit integer

7.2

| ?unsigned int32

Unsigned 32-bit integer

7.2?

| ?unsigned int64

Unsigned 64-bit integer

7.2?

| ?void

No type. Only allowed as a return type or as part of void *

7.2

NativeType ::=

Description

Name in the class

library enum type

UnmanagedType

‘[’ ‘]’

Native array. Type and size are determined at runtime from the actual marshaled array.

LPArray

|bool

Boolean. 4-byte integer value where any non- zero value represents TRUE, and 0 represents FALSE.

Bool

| float32

32-bit floating-point number.

R4

| float64

64-bit floating-point number.

R8

| [unsigned] int

Signed or unsigned integer, sized to hold a pointer on the platform

SysUInt or SysInt

| [unsigned] int8

Signed or unsigned 8-bit integer

U1 or I1

| [unsigned] int16

Signed or unsigned 16-bit integer

U2 or I2

| [unsigned] int32

Signed or unsigned 32-bit integer

U4 or I4

| [unsigned] int64

Signed or unsigned 64-bit integer

U8 or I8

|lpstr

A pointer to a null-terminated array of ANSI characters. The code page is implementation- specific.

LPStr

|lpwstr

A pointer to a null-terminated array of Unicode characters. The character encoding is implementation-specific.

LPWStr

| method

A function pointer.

FunctionPtr

| NativeType ‘[’ ‘]’

Array of NativeType. The length is determined at runtime by the size of the actual marshaled array.

LPArray

| NativeType ‘[’ Int32 ‘]’

Array of Native Type of length lnt32.

LPArray

| NativeType

‘[’ ‘+’ Int32 ‘]’

Array of NativeType with runtime supplied element size. The int32 specifies a parameter to the current method (counting from parameter number 0) that, at runtime, will contain the size of an element of the array in bytes. Can only be applied to methods, not fields.

LPArray

| NativeType

‘[’ Int32 ‘+’ Int32 ‘]’

Array of NativeType with runtime supplied element size. The first int32 specifies the number of elements in the array. The second 1nt32 specifies which parameter to the current method (counting from parameter number 0) will specify the additional number of elements in the array. Can only be applied to methods, not fields

LPArray