Re: , definition of "used" for templates

From:

=?ISO-8859-1?Q?Daniel_Kr=FCgler?= <daniel.kruegler@googlemail.com>

Newsgroups:

comp.lang.c++.moderated

Date:

Tue, 5 Oct 2010 23:52:23 CST

Message-ID:

<f4be0b1c-527d-42d9-b0cb-d653b4d219bb@x42g2000yqx.googlegroups.com>

On 5 Okt., 10:57, "Johannes Schaub (litb)" <schaub-johan...@web.de>
wrote:

Does the following program "use" the function "f"?

void f();

template<typename T>
void g() {
f();
}

int main() { }

3.2[basic.def.ord]p2:

"An expression is potentially evaluated unless it is an unevaluated operand
(Clause 5) or a subexpression thereof. A variable or non-overloaded function
whose name appears as a potentially-evaluated expression is used unless it
is an object that satis???es the requirements for appearing in a constant
expression (5.19) and the lvalue-to-rvalue conversion (4.1) is immediately
applied."

Is the above supplied program ill-formed because a definition of "f" is
missing ([basic.def.odr]p3)? If the program is valid, is there wording that
supports it?

I believe the wording does not allow for another interpretation
but that f() in g() is considered an potentially evaluated
expression, thus the program is ill-formed.

The situation would differ, if the call of f() would be dependent,
because in this case the "selected by overload resolution" part of
3.2/2 would apply, but obviously this step does never happen in
above program.

HTH & Greetings from Bremen,

Daniel Kr??gler

--
[ See http://www.gotw.ca/resources/clcm.htm for info about ]
[ comp.lang.c++.moderated. First time posters: Do this! ]