allocate Directive

For allocations that arise from this directive the null_fb value of the fallback allocator trait behaves as if the abort_fb had been speciﬁed.

A variable that is part of another variable (as an array element or a structure element) cannot appear in a allocate directive.

An allocate directive must appear in the same scope as the declarations of each of its list items and must follow all such declarations.

A declared variable may appear as a list item in at most one allocate directive in a given compilation unit.

allocate directives that appear in a target region must specify an allocator clause unless a requires directive with the dynamic_allocators clause is present in the same compilation unit.

∙ If a list item has static storage duration, the allocator clause must be speciﬁed and the allocator expression in the clause must be a constant expression that evaluates to one of the predeﬁned memory allocator values. ∙ A variable that is declared in a namespace or global scope may only appear as a list item in an allocate directive if an allocate directive that lists the variable follows a declaration that deﬁnes the variable and if all allocate directives that list it specify the same allocator.

∙ After a list item has been allocated, the scope that contains the allocate directive must not end abnormally, such as through a call to the longjmp function.

∙ After a list item has been allocated, the scope that contains the allocate directive must not end abnormally, such as through a call to the longjmp function, other than through C++ exceptions. ∙ A variable that has a reference type may not appear as a list item in an allocate directive.

∙ A list item that is speciﬁed in an allocate directive must not have the ALLOCATABLE or POINTER attribute. ∙ If a list item has the SAVE attribute, either explicitly or implicitly, or is a common block name then the allocator clause must be speciﬁed and only predeﬁned memory allocator parameters can be used in the clause. ∙ A variable that is part of a common block may not be speciﬁed as a list item in an allocate directive, except implicitly via the named common block. ∙ A named common block may appear as a list item in at most one allocate directive in a given compilation unit. ∙ If a named common block appears as a list item in an allocate directive, it must appear as a list item in an allocate directive that speciﬁes the same allocator in every compilation unit in which the common block is used. ∙ An associate name may not appear as a list item in an allocate directive.


Name: allocate	Association: none
Category: declarative	Properties: default


Name	Type	Properties

list	list of variable list item type	default

6.5 allocate Directive