相关疑难解决方法(0)

考虑以下内联函数:

// Inline specifier version
#include<iostream>
#include<cstdlib>

inline int f(const int x);

inline int f(const int x)
{
    return 2*x;
}

int main(int argc, char* argv[])
{
    return f(std::atoi(argv[1]));
}

和constexpr等效版本:

// Constexpr specifier version
#include<iostream>
#include<cstdlib>

constexpr int f(const int x);

constexpr int f(const int x)
{
    return 2*x;
}

int main(int argc, char* argv[])
{
    return f(std::atoi(argv[1]));
}

我的问题是:说明constexpr符是否意味着说明inline符,如果一个非常量参数传递给一个constexpr函数,编译器将尝试inline该函数,就像说明inline符被放入其声明一样？

C++ 11标准能保证吗？

是否有可能根据C++ 11中的C++ 11表达式是否为常量表达式(即constexpr)生成编译时布尔值？关于SO的几个问题与此有关,但我在任何地方都没有看到直接答案.

下面的代码在clang ++ 3.7.0下编译,但被g ++ 5.3.1拒绝.两者都有-std=c++14选择权.哪个编译器正确？有谁知道标准在哪里谈论这个？谢谢.

#include <stdexcept>
using namespace std;

constexpr int f(int n) {
  if (n <= 0) throw runtime_error("");
  return 1;
}

int main() {
  char k[f(1)];
}

产量

[hidden] g++ -std=c++14 c.cpp 
c.cpp: In function ‘constexpr int f(int)’:
c.cpp:7:1: error: expression ‘<throw-expression>’ is not a constant-expression
 }
 ^
[hidden] clang++ -std=c++14 c.cpp 
[hidden] 
[hidden] g++ -v
Using built-in specs.
COLLECT_GCC=/usr/bin/g++
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-redhat-linux/5.3.1/lto-wrapper
Target: x86_64-redhat-linux
Configured with: ../configure --enable-bootstrap --enable-languages=c,c++,objc,obj-c++,fortran,ada,go,lto --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-shared --enable-threads=posix --enable-checking=release …

[expr.unary.noexcept]的措辞在C++17 中发生了变化。

以前（n4140, 5.3.7 noexcept operator [expr.unary.noexcept]），我的重点是：

3. 如果在潜在求值的上下文中表达式将包含，则 noexcept 运算符的结果为 false

   (3.1) 对不具有非抛出异常规范 ([except.spec]) 的函数、成员函数、函数指针或成员函数指针的潜在求值调用，除非调用是常量表达式 ([ expr.const]) ...

现在¹（7.6.2.6 noexcept 运算符 [expr.unary.noexcept]）：

3. 除非表达式可能抛出异常 ([except.spec])，否则noexcept 运算符的结果为真。

然后在14.5 异常规范 [except.spec] 中：

3. 如果函数声明没有 noexcept 说明符，则该声明具有潜在的抛出异常说明，除非...

但是14.5(3)的除非列表未列出constexpr，因此可能会抛出...

_{¹ LF 在评论中添加的指向 C++17 n4659的链接。}

测试代码

constexpr int f(int i) { return i; }

std::cout << boolalpha << noexcept(f(7)) << std::endl;
int a = 7;
std::cout …