The result is the entity denoted by the identifier
.If the entity is a local entity
and naming it from outside of an unevaluated operand
within the declarative region where the
unqualified-id appears
would result in some intervening
lambda-expression
capturing it by copy (
[expr.prim.lambda.capture]),
the type of the expression is
the type of a class member access expression (
[expr.ref])
naming the non-static data member
that would be declared for such a capture
in the closure object of
the innermost such intervening
lambda-expression.[
Note 2:
If that
lambda-expression is not declared
mutable,
the type of such an identifier will typically be
const qualified
. —
end note]
Otherwise, the type of the expression is the type of the result
.[
Note 3:
If the entity is a template parameter object for
a template parameter of type
T (
[temp.param]),
the type of the expression is
const T. —
end note]
[
Note 4:
The type will be adjusted as described in
[expr.type]
if it is cv-qualified or is a reference type
. —
end note]
The expression is an lvalue
if the entity is a function, variable,
structured binding, data member, or
template parameter object
and a prvalue otherwise (
[basic.lval]);
it is a bit-field if the identifier designates a bit-field
.[
Example 1:
void f() {
float x, &r = x;
[=] {
decltype(x) y1;
decltype((x)) y2 = y1;
decltype(r) r1 = y1;
decltype((r)) r2 = y2;
};
}
—
end example]