Constexpr函数中的constexpr常量？
Constexpr函数是指在编译时就能够计算出结果的函数，它的返回值可以在编译期间被确定。constexpr常量是指在编译时就能够确定其值的常量。
Constexpr函数的特点是：
- 在编译时进行计算，而不是在运行时。
- 可以用于编译时常量的计算，例如用于数组大小的计算。
- 可以在编译时进行错误检查，例如对于不满足条件的输入，可以在编译时报错。
Constexpr常量的特点是：
- 在编译时就能够确定其值，不需要在运行时计算。
- 可以用于编译时常量的赋值，例如用于数组大小的赋值。
- 可以作为模板参数，用于编译时的类型推导。
Constexpr函数和constexpr常量的优势：
- 提高程序的性能：由于在编译时进行计算，可以减少运行时的计算量，提高程序的性能。
- 增加代码的可读性：通过使用constexpr函数和constexpr常量，可以使代码更加清晰和易于理解。
- 在编译时进行错误检查：constexpr函数可以在编译时对输入进行检查，避免在运行时出现错误。
Constexpr函数和constexpr常量的应用场景：
- 用于编译时常量的计算：例如计算数组大小、计算斐波那契数列等。
- 用于模板元编程：constexpr函数可以作为模板参数，用于编译时的类型推导。
- 用于性能优化：通过使用constexpr函数和constexpr常量，可以减少运行时的计算量，提高程序的性能。
腾讯云相关产品和产品介绍链接地址： 腾讯云提供了丰富的云计算产品和服务，以下是一些与云计算相关的产品和介绍链接地址：
- 云服务器（ECS）：https://cloud.tencent.com/product/cvm
- 云数据库MySQL版（CDB）：https://cloud.tencent.com/product/cdb
- 云原生应用引擎（TKE）：https://cloud.tencent.com/product/tke
- 人工智能平台（AI Lab）：https://cloud.tencent.com/product/ai
- 物联网平台（IoT Hub）：https://cloud.tencent.com/product/iothub
- 移动应用开发平台（MADP）：https://cloud.tencent.com/product/madp
- 云存储（COS）：https://cloud.tencent.com/product/cos
- 区块链服务（BCS）：https://cloud.tencent.com/product/bcs
- 腾讯云元宇宙（Tencent Cloud Metaverse）：https://cloud.tencent.com/solution/metaverse
请注意，以上链接仅供参考，具体产品选择应根据实际需求进行评估和选择。
相关·内容
根据的说法，显然没有很好的理由禁止结构化绑定，然而标准仍然禁止它。然而，在这种情况下，是否也应该禁止使用constexpr函数中的结构化绑定呢？考虑一个简单的片段：
#include <utility>
constexpr int foo(std::pair<int, int> p) {
auto [a, b] = p;
return a;
}
int main() {
constexpr int a = foo({1, 2});
static_assert(a == 1);
}
和都不会造成编译代码的麻烦。代码是否是格式错误的，还是
浏览 8提问于2017-09-16得票数 13
回答已采纳
在乌本图gcc 8.0
void bar(){}
constexpr int foo(int a)
{
if (a <=0 )
bar();
return 1;
}
int main()
{
int a1[foo(-1)]; //will give a compile error, which is expected,
//since non-constexpr function is not allowd in constexpr context
}
但在以下测试中：
int main()
{
浏览 0提问于2018-10-24得票数 5
回答已采纳
1回答
在C++14及更高版本中，用于成员函数的constexpr不再意味着const。
struct Value
{
int i = 5;
constexpr bool not_five() // requires const to compile
{
return this->i != 5;
}
};
int main()
{
constexpr Value v{6};
static_assert(v.not_five());
}
error: passing ‘const Value’ as ‘this’ argument
浏览 5提问于2019-12-05得票数 3
看看这段代码：
struct NonConstexpr {
NonConstexpr() { }
};
template <typename T>
struct Bar {
NonConstexpr nonConstexpr;
constexpr Bar() { }
};
struct Foo {
Bar<void> bar;
constexpr Foo() { }
};
Foo有一个名为Foo::bar::nonConstexpr的成员，它有一个非constexpr构造函数。因此，我的期望是，这不应该编译。但它与gcc，
浏览 3提问于2018-12-05得票数 17
回答已采纳
1回答
我决定给出新的C++14定义constexpr，并充分利用它，我决定编写一个小的编译时字符串解析器。但是，在将对象传递给函数时，我很难将对象保持为constexpr。考虑以下代码：
#include <cstddef>
#include <stdexcept>
class str_const {
const char * const p_;
const std::size_t sz_;
public:
template <std::size_t N>
constexpr str_const( const char( &
浏览 2提问于2014-12-04得票数 4
回答已采纳
1回答
我想知道是否有任何限制，如内联函数和方法的内联函数和方法必须声明的位置。
我知道内联函数或方法必须写在头文件中，这样编译器才能访问调用它们的定义。如果警员也有类似的东西，那就说得通了，但我在这一点上找不到任何东西.
所以基本上我的问题是：
我是否可以在不冒重复符号的风险的情况下，在头文件中编写constexpr函数的定义？
我可以分开声明和定义constexpr函数或方法吗？
浏览 1提问于2014-06-10得票数 10
回答已采纳
1回答
对于constexpr-specified函数foo_constexpr，我的代码如下所示：
const auto x = foo_constexpr(y);
static_assert(x==0);
当x的声明被更改为constexpr时，在什么情况下代码可能无法编译？(毕竟，要在static_assert中使用，x必须已经是常量表达式。)这就是：
constexpr auto x = foo_constexpr(y);
static_assert(x==0);
浏览 1提问于2019-08-27得票数 7
1回答
获取元组元素的偏移量。
、、、
我编写了以下代码来获取元组元素的偏移量
template<size_t Idx,class T>
constexpr size_t tuple_element_offset() {
return static_cast<size_t>(
reinterpret_cast<char*>(&std::get<Idx>(*reinterpret_cast<T*>(0))) - reinterpret_cast<char*>(0));
}
这实际上类似于宏的
浏览 2提问于2011-03-18得票数 7
回答已采纳
请考虑以下类
template<class T>
class foo
{
public:
auto bar() { return m_t.bar(); }
private:
T m_t;
};
如果我们希望foo<T>::bar在T::bar为非抛出时为非抛出，我们可以将其声明更改为
auto bar() noexcept(noexcept(m_t.bar())) { return m_t.bar(); }
但是，如果我们希望在每次使用constexpr指定T::bar时都使用constexpr指定foo<T>::bar，我们该怎么办
我们
浏览 0提问于2016-04-05得票数 4
2回答
#include <utility>
struct A {
constexpr auto one(int a) {
return std::integral_constant<int, _data[a]>{};
}
constexpr int two(int a) const {
return _data[a];
}
int _data[10];
};
int main() {
constexpr auto ex = A{{1,2,3,4,5,6,7,8,9,
浏览 4提问于2015-05-06得票数 4
回答已采纳
C++ Primer (第5版)在第240页有一个说明：
“返回常量表达式不需要constexpr函数”。
有人问了一个关于这个问题的问题：。这一问题的作者误解了这份说明。
但是，对它的正确理解是什么(对引用的帖子的回答澄清了该帖子作者的困惑，但没有回答我的问题)？
浏览 0提问于2015-07-03得票数 16
回答已采纳
考虑一个在运行时只包装了一个值的类：
template <typename Type>
class NonConstValue
{
public:
NonConstValue(const Type& val) : _value(val) {;}
Type get() const {return _value;}
void set(const Type& val) const {_value = val;}
protected:
Type _value;
};
以及它的常量表达式版本：
浏览 2提问于2013-01-18得票数 13
回答已采纳
1回答
下面的说法我说得对吗？
、、、
在他的新书"TCPL“第10.4.3节中，B. Stroustrup写道：
一个足够简单的用户定义类型可以在一个常量表达式中使用.例如：
结构点{ int x，y，z；警察点向上( int d) {返回{x，y，z+d}；}区点移动(int dx，int dy) {返回{x+dx，y+dy}；} // . }；
一个类具有一个constexpr构造函数被称为一个文字类型。要使构造函数变得足够简单，就必须有一个空体，并且所有成员都必须由潜在的常量表达式初始化。例如：
角点{0,0}；
对我来说，这似乎令人困惑，原因如下：
struct Point没有用户定义的构造函数，也没有
浏览 4提问于2014-03-05得票数 5
1回答
谁能帮我解释一下为什么这段代码不能编译？
#include <iostream>
#include <tuple>
#include <string_view>
constexpr auto Fields()
{
using namespace std::string_view_literals;
return std::tuple(
std::tuple("campo_1"sv, 123),
std::tuple("campo_2"sv, 456),
std
浏览 0提问于2018-09-15得票数 0
3回答
有人能告诉我C++中什么时候需要文字类吗？
我有点困惑于警察建设者，警员成员，我不明白这是什么意思。我想看看它的一些实际用途。
此外，我还想知道一个集合成员函数是否需要成为警察，即：
constexpr void set_num(int a) { num = a; }
浏览 2提问于2013-01-13得票数 14
回答已采纳
1回答
通常，constexpr必须没有副作用。然而，我刚刚发现在抛出异常的构造函数中使用副作用是可能的。该技术可用于模拟常量表达式函数的assert()，如下面的程序所示。
#include <iostream>
#include <cstdlib>
#include <stdexcept>
struct constexpr_precond_violated : std::logic_error
{
constexpr_precond_violated(const char* msg) :
std::logic_error(msg)
{
浏览 2提问于2012-10-24得票数 15
回答已采纳
我对constexpr编程比较陌生，并试图在constexpr上下文中对string_view对象进行一些基本操作。在我的例子中，所有的字符串在我的源代码中都以文字形式开始，所以看起来它们应该是常量表达式。我发现我可以从字符串文本构造一个constexpr string_view，没有任何问题。
但是，如果我试图调用一个带有字符串文字的constexpr函数，该函数接受一个string_view参数，那么编译就会失败。参见下面的示例()：
#include <string_view>
// this doesn't compile; the compiler compla
浏览 6提问于2020-12-07得票数 3
回答已采纳
例如，除非incr()声明为constexpr，否则下面的代码不会编译
int incr(int& n) {
return ++n;
}
constexpr int foo() {
int n = 0;
incr(n);
return n;
}
看看C++14中的7.1.5/3节，我们有：
常设委员会职能的定义应满足下列限制：
(3.1) -它不应是虚拟的(10.3)；
(3.2) -其返回类型须为文字类型；
(3.3) -其每一参数类型均应为文字类型；
(3.4) -其功能-主体应为=删除、=缺省或不包含(3.4.1)的复合语句-asm-定义，
(
浏览 6提问于2015-12-14得票数 8
回答已采纳
2回答
我在搜索中没有找到多少关于警察函数的信息。C++引物表示返回类型和每个参数的类型必须是文字类型。现在返回类型，我使用bool和参数类型，我在返回中使用reference.but，我使用两个basic_string函数来计算，results.clion是告诉我不能使用basic_string函数
constexpr bool a (const string &z , const string &zz)
{
return (z.size() > zz.size());
}
非常感谢你回答我的问题！
浏览 1提问于2020-01-24得票数 0
回答已采纳
1回答
你能解释一下为什么这段代码不编译吗？
// source.cpp
constexpr const char* func(const char* s) { return s;}
constexpr bool find(const char *param) {
constexpr const char* result = func(param);
return (param == 0);
}
int main()
{
constexpr bool result = find("abcde");
}
compile命令：
$ g++ -std=c++14 sou
浏览 2提问于2019-01-29得票数 11
回答已采纳
我有一个构造函数模板(在非模板类中)，它有一个非类型的模板参数，它是从std::integral_constant推导出来的。是否需要声明将被传递到构造函数constexpr中的std::integral_constant类型的对象？这似乎是多余的。
我还看到了用于标记分派constexpr的对象。真的需要这样做吗？因为在编译时使用的不是标签对象，而是它的类型。
浏览 14提问于2021-02-20得票数 0
例如：
constexpr int g() { return 30; }
constexpr int f()
{
// Can we omit const?
const int x = g();
const int y = 10;
return x + y;
}
在使用的constexpr函数中，声明局部变量有什么意义吗？
具有const局部变量的constexpr函数与没有const的函数不是等价的吗
换句话说，函数上的constexpr是否对其局部变量施加了(隐含) const？
浏览 47提问于2015-11-01得票数 19
回答已采纳
在C++17中，是否允许修改constexpr函数中的全局变量？
#include <iostream>
int global = 0;
constexpr int Foo(bool arg) {
if (arg) {
return 1;
}
return global++;
}
int main() {
std::cout << global;
Foo(true);
std::cout << global;
Foo(false);
std::cout << g
浏览 0提问于2018-06-27得票数 36
回答已采纳
我的理解是，这个(无意义的)代码是无效的C++14：
class Point {
public:
constexpr double setX(double newX) { return x = newX; }
private:
double x;
};
我正在努力弄清楚C++14标准(仍然是正式草案)的哪一部分不允许它。对constexpr函数的限制列在7.1.5/2中。(很抱歉格式化错误。我想不出怎样才能把它打得好看。)
常设委员会职能的定义应满足下列限制：
它不应是虚拟的(10.3)；
其返回类型应为文字类型；
每种参数类型都应是文字类型；
其函数体应为=
浏览 4提问于2014-08-06得票数 5
最初的问题是我想在模板的非类型参数中使用const char*或char []。当然现在还不支持。所以我想写一些代码把char[]转换成std::integer_sequence。但我发现了一个严重的问题。 #include<utility>
template<typename T, std::size_t n>
constexpr auto f3(T (&a)[n])
{
return std::integer_sequence<T,a[0]>(); //simplified, it should be <T, a[i],...&g
浏览 19提问于2021-03-19得票数 1
回答已采纳
我有一个结构体： struct ColorspaceData
{
private:
glm::vec3 sMatrix;
public:
/// X red
float xr;
/// Y red
float yr;
/// Z red
float zr;
/// X green
float xg;
/// Y green
float yg;
/// Z green
float zg;
/// X blue
float xb;
/// y blue
fl
浏览 27提问于2021-09-12得票数 0
回答已采纳
目前，我正在阅读Scott的“有效的现代C++”(第15项-只要有可能就使用constexpr )。作者说：
当用编译过程中不知道的一个或多个值调用一个constexpr函数时，它的作用就像一个正常函数，在运行时计算其结果。这意味着您不需要两个函数来执行相同的操作，一个用于编译时常量，另一个用于所有其他值。所有这一切都是由警察函数完成的。
我在中尝试了下面的代码片段
#include <iostream>
class Point
{
public:
constexpr Point(double a, double b) noexcept
浏览 1提问于2017-10-07得票数 1
回答已采纳
1回答
在站点上，指定：
“警察职能必须满足下列要求：
..。
至少存在一组参数值，因此函数的调用可以是核心常量表达式的求值子表达式(用于构造函数，在常量初始化器中使用的是足够的)(因为C++14)。违反这颗子弹不需要进行任何诊断。“
黑体字的意思是什么？
浏览 1提问于2017-07-23得票数 11
回答已采纳
4回答
我说的对吗，那就是：
任何用constexpr定义的函数都是，任何纯函数都可以而且必须用constexpr定义，前提是它对编译器来说不是很昂贵。
如果是这样，为什么<cmath>的函数不是用constexpr定义的？
浏览 30提问于2011-03-29得票数 22
回答已采纳
我有一个编译时字符串类，它帮助程序在编译时计算各种相关的内容，例如散列结果和快速查找查找表，其构造如下：
"hello"_constexpr_str;
此外，我的string类支持这种类型的构造，它允许快速散列和快速查找，并避免不必要的数据复制，如下所示。
defs::string string = "hello"_constexpr_str;
当然，我的string类也支持从const char_T*构建
，现在有问题了！
当我的字符串类是用编译时常量(如string("hell word!") )构造的，而不是丑陋但很强的string(
浏览 15提问于2022-08-29得票数 0
回答已采纳
我读过关于constexpr函数的文章，以及它们在编译时的计算时间。现在，我必须用新值填充数组，因此数组不能是const。
据我所知，constexpr函数肯定是在编译时计算的，在该函数中的每个值都是const，而使用的函数是constexpr，后者也只使用const值。此外，另一篇文章指出，可以通过生成返回的obj const来强制编译时。
让我们说，我的函数是一个constexpr，但是里面有一个non-const数组，但是返回的对象将是const。我的函数calculation会在编译时(强制)进行评估吗？
template<int Size, typename T>
str
浏览 3提问于2019-11-09得票数 0
回答已采纳
我在constexpr上遇到了麻烦。“C++ Primer”一书显示了一行代码：
constexpr int sz = size(); // only size() is a constexpr function
// this code is right
然而，这本书并没有给出一个具体的例子。因此，我自己尝试下面的代码：
#include <iostream>
constexpr int fun();
int main()
{
constexpr int f = fun();
std::cout <
浏览 0提问于2015-04-03得票数 28
回答已采纳
我有一个常量表达式函数，如下所示：
constexpr int foo(int bar)
{
static_assert(bar>arbitrary_number, "Use a lower number please");
return something_const;
}
然而，用GCC 4.6.3编译这段代码总是告诉我
错误：'bar‘不能出现在常量表达式中
我试过这样的东西
constexpr int foo(constexpr const int bar)
{
static_assert(bar>arbitrary_number
浏览 1提问于2012-03-20得票数 9
回答已采纳
2回答
我正在尝试初始化基类的const std::vector<std::string>成员对象，其中包含一个由派生类传递的编译时字符串组成的向量。派生类将定义向量中的某些字符串，向量中字符串的其余部分将由派生类的子类(即派生类派生的类)定义。
例如：
// +----------------+
// | ConfigBaseUnit |
// +----------------+
class ConfigBaseUnit
{
public:
ConfigBaseUnit(std::vector<std::string> &&fields);
浏览 1提问于2018-08-08得票数 4
回答已采纳
2回答
运行时使用constexpr错误
、、、、
考虑下面的代码片段
constexpr int divide( int x, int y)
{
return (x/y);
}
constexpr int div_by_zero( int x)
{
return (x/0);
}
案例1 :
int x = divide(10,0);
这可以成功编译(使用gcc和clang)，但会产生以下运行时错误。
浮点异常(核心转储)
案例2 :
int y = div_by_zero(10);
这就产生了编译错误，
(g++ -std=c++17)除以零不是一个常量表达式
注意:即使在这种情况下，clang也不会抛出错误。
浏览 1提问于2018-02-05得票数 2
什么时候构造函数调用是一个constructor，什么时候不是？在这个链接问题中
构造函数不是const，这就是为什么vector是而不是初始化的原因。还有谁能更详细地解释一下这个问题的答案吗？
浏览 5提问于2016-01-05得票数 4
下面是我的代码：
class test{
public:
constexpr test(){
}
constexpr int operator+(const test& rhs){
return 1;
}
};
int main(){
test t; //constexpr word isn't necessary
constexpr int b = t+test(); // works at compile time!
int
浏览 1提问于2015-07-13得票数 42
回答已采纳
2回答
constexpr const_reference at( size_type pos ) const;
这种STL容器访问器的过载如何使用非星座参数？这种过载的经典用例是什么？
浏览 3提问于2013-12-04得票数 2
回答已采纳
2回答
数组可以在编译时进行索引吗？
、、、、
在中，用户hvd声明如下：
..。尽管字符串文本可以传递给constexpr函数，并且允许在常量表达式中对字符串文本进行数组索引，但对constexpr函数参数的索引操作并不限定为常量表达式。
我不完全明白这是什么意思。这是否意味着以下代码中的hash_value变量
#include <cstddef>
// Compute the hash of a string literal adding the values of its characters
template<std::size_t N> constexpr std::size_t
hash_st
浏览 0提问于2014-09-18得票数 6
回答已采纳
constexpr是编译器的指示符，还是强制的行为？
下面是下面的例子：
template<typename T>
std::size_t constexpr getID() { return typeid(T).hash_code(); }
hash_code是一个运行时常量，但是即使使用constexpr请求编译时计算，这个片段也会是。只有在使用了预期编译时间常数的返回值之后，我们才会注意到这个。
那么，constexpr是对编译器的“提示”(很像inline关键字)还是“绑定请求”呢？
浏览 9提问于2014-05-21得票数 20
回答已采纳
1回答
此代码应在编译时使用模板元编程检查浮点型是否等于整型的一半：#include
struct A {
constexpr static bool value = true;
};
struct B {
constexpr static bool value = false;
};
template<int i>
struct Meta {
constexpr static int value = i/2;
constexpr static bool func(float n) {
return std::conditional_t&
浏览 0提问于2018-03-19得票数 0
3回答
假设我有一个由引擎参数化的struct模板S：
template<class Engine> struct S;
我有两个引擎:一个带有constexpr成员函数size()的“静态”引擎，和一个非constexpr成员函数size()的“动态”引擎。
struct Static_engine {
static constexpr std::size_t size() {
return 11;
}
};
struct Dynamic_engine {
std::size_t size() const {
return siz
浏览 4提问于2019-11-14得票数 5
回答已采纳
1回答
使用gcc (头7.0.0 201612)，我惊讶地发现，这是可行的：
constexpr long value(const char *definition)
{
if (definition && *definition)
{
return *definition + value(definition + 1);
}
return *definition;
}
int main()
{
long l{};
std::cin >> l;
switch (l)
{
浏览 3提问于2016-12-21得票数 4
回答已采纳
2回答
下面的程序用GCC 5.2编写，但没有用clang 3.6编译：
constexpr bool flag();
template <bool b = flag()>
constexpr bool test()
{
return b;
}
int main()
{
}
我在clang中得到的错误消息是：
main.cpp:3:20: error: non-type template argument is not a constant expression
template <bool b = flag()>
^~~
浏览 4提问于2016-01-02得票数 19
回答已采纳
我从N4140中的§5.19/2中获得了这个示例：
constexpr int incr(int &n) {
return ++n;
}
据我所知，这不是一个constexpr函数。但是代码片段是用clang和g++编译的。见。我在这里错过了什么？
浏览 8提问于2015-12-10得票数 10
回答已采纳
1回答
在Todd的中，sin和cos等trig函数是在编译时预先计算出来的，这给我留下了深刻的印象。老实说，这让我大吃一惊，如果您正在编写代码，在循环中执行大量这些代码(就像我一样)，那么这可能会对性能的提高产生重大影响。
问题1
然而，这让我想知道什么是作为运行时工具可用的(调用实际的数学库函数(如sin或cos) )和什么是仅作为编译时数学运算符可用的界限。
托德的例子需要使用普通算法手动计算trig函数。
那么，我是否可以假设一个编译器能够实现所有普通的数学函数-- *、+、-、/，而不是其他任何函数？
问题2
在这种情况下，您只能获得对整数的sin和cos计算的编译时结果，对吗？也就是说，您
浏览 2提问于2013-05-27得票数 6
回答已采纳
1回答
Clang接受以下代码，但gcc接受rejects it。 void h() { }
constexpr int f() {
return 1;
h();
}
int main() {
constexpr int i = f();
} 以下是错误消息： g++ -std=c++17 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
main.cpp: In function 'constexpr int f()':
main.cpp:5:6: error: call to non-&#
浏览 18提问于2019-04-19得票数 24
1回答
我希望实现从shared_ptr扩展的自己的指针(只有很少的助手方法)。
class Event;
class EventPtr : public std::shared_ptr<Event> {
public:
constexpr EventPtr()
: std::shared_ptr<Event>() {
}
constexpr EventPtr(std::nullptr_t p)
: std::shared_ptr<Event>(p) {
}
explicit EventP
浏览 3提问于2015-07-23得票数 4
回答已采纳
我想在一个由static_assert创建的array上在template中做一个parameter pack。
考虑以下代码：
template<typename... Args>
auto constexpr CreateArrConst(Args&&... args)
{
std::array arr
{
args...
};
return arr;
}
template<typename... Args>
auto constexpr CreateArrConst_NotWorking(Args&&.
浏览 3提问于2022-06-02得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
