From what I gather from this answer, a `constexpr` function's result is not a constant-expression if the function has not been declared yet. What surprises me is the following code snippet [ˈsnɪpɪt] 片段:

constexpr int f();constexpr int g() {return f();
}constexpr int f() {return 42;
}int main() {constexpr int i = g();return i;
}

This compiles without trouble and works. Moving f's definition past main triggers error: 'constexpr int f()' used before its definition, as I would expect.

I presume that it works because f has been defined before the call to g, thus both calls are constant expressions.

Why are f() and g() apparently constant-expressions, even though f isn't defined when it is called by g? How is this described by the Standard?

I have tested this on Coliru's GCC 6.1.0 and Clang 3.8.0.

2个回答

最佳答案

It is not necessary to define a constexpr before it is used. However, the result of calling it before its definition is not constexpr. Consequently, the compiler rightfully complains because you're trying to initialize a constexpr variable with a non-constant expression.

§5.20/p2 Constant expressions [expr.const] (Emphasis Mine) :

A conditional-expression e is a core constant expression unless the evaluation of e, following the rules of the abstract machine (1.9), would evaluate one of the following expressions:

...

(2.3) — an invocation of an undefined constexpr function or an undefined constexpr constructor;

参考答案2

As linked by T.C. in his comment, this is subject to a defect report.
According to 5.20 [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.
This makes it clear that the example is well-formed and should indeed work as expected as long as f is defined before the call to g.

Nested `constexpr` function calls before definition in a constant-expression context相关推荐

4.2.8. Window Function Calls
4.2.8. Window Function Calls 4.2.8.窗口函数调用 A window function call represents the application of an ag ...
NOTE: a missing vtable usually means the first non-inline virtual member function has no definition.
NOTE: a missing vtable usually means the first non-inline virtual member function has no definition. ...
Remote table-valued function calls are not allowed.
远程访问其它服务器数据库的表 select top 100 * from [服务器名/IP].[数据库名].dbo.table(nolock) 提示:Remote table-valued funct ...
constexpr specifier
转载自: constexpr specifier constexpr - specifies that the value of a variable or function can appear i ...
《C++ Primer 5th》笔记（2 / 19）：变量和基本类型
文章目录基本内置类型算术类型内置类型的机器实现(类型在物理层面上的说明) 建议:如何选择类型类型转换建议:避免无法预知和依赖于实现环境的行为算术表达式里使用布尔值含有无符号类型的表达式( ...
[golang][history]The Go Annotated Specification\ Go注释规范18c5b488a3b2e218c0e0cf2a7d4820d9da93a554...
18c5b488a3b2e218c0e0cf2a7d4820d9da93a554 20080303 https://github.com/landv/golang The Go Annotated S ...
RIPS user guide for fresh
RIPS download NOTE: RIPS 0.5 development is abandoned since 2013 due to its fundamental limitations. ...
c语言编译常见错误提示,c语言编译常见错误
c语言编译常见错误 (2012-04-17 21:33:53) 标签: 杂谈分类: 计算机 1."c" not an argument in function sum 该标识符不 ...
(5)风色从零单排《C++ Primer》 const,typedef,auto,decltype
从零单排<C++ Primer> --(5)const,typedef,auto,decltype CONST 多文件下 //file_1.cc defines and initial ...

Nested `constexpr` function calls before definition in a constant-expression context

From what I gather from this answer, a `constexpr` function's result is not a constant-expression if the function has not been declared yet. What surprises me is the following code snippet [ˈsnɪpɪt] 片段:

2个回答

Nested `constexpr` function calls before definition in a constant-expression context相关推荐

最新文章

热门文章

Nested `constexpr` function calls before definition in a constant-expression context

From what I gather from this answer, a constexpr function's result is not a constant-expression if the function has not been declared yet. What surprises me is the following code snippet [ˈsnɪpɪt] 片段:

2个回答

Nested `constexpr` function calls before definition in a constant-expression context相关推荐

最新文章

热门文章

From what I gather from this answer, a `constexpr` function's result is not a constant-expression if the function has not been declared yet. What surprises me is the following code snippet [ˈsnɪpɪt] 片段: