Title
Unclear meaning of “undefined constexpr function”
Status
drafting
Section
7.7 [expr.const]
Submitter
Howard Hinnant

Created on 2015-08-05.00:00:00 last changed 106 months ago

Messages

Date: 2015-08-05.00:00:00

According to 7.7 [expr.const] bullet 2.3, an expression is a constant expression unless (among other reasons) it would evaluate

  • an invocation of an undefined constexpr function or an undefined constexpr constructor;

This does not address the question of the point at which a constexpr function must be defined. The intent, in order to allow mutually-recursive constexpr functions, was that the function must be defined prior to the outermost evaluation that eventually results in the invocation, but this is not clearly stated.

History
Date User Action Args
2015-08-05 00:00:00admincreate