- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
constexpr
和const
有什么区别?
最佳答案
基本含义和语法
这两个关键字都可以在对象和函数的声明中使用。应用于对象的基本区别是:
const
将对象声明为常量。这意味着保证,一旦初始化,该对象的值就不会改变,并且编译器可以利用这一事实进行优化。它还有助于防止程序员编写代码来修改初始化后不希望修改的对象。constexpr
声明一个适合在标准调用常量表达式中使用的对象。但是请注意,constexpr
不是唯一的方法。const
仅可用于非静态成员函数,而不能用于一般函数。它保证成员函数不会修改任何非静态数据成员(可变数据成员除外,可变数据成员可以随时进行修改)。constexpr
可以与成员函数和非成员函数以及构造函数一起使用。它声明该函数适合在常量表达式中使用。仅当函数满足某些条件(7.1.5 / 3,4),最重要的是(†)时,编译器才会接受它:return
语句。对于构造函数,仅允许使用初始化列表,typedef和静态断言。 (虽然也允许= default
和= delete
。)asm
声明,goto
语句,带有case
和default
之外的标签的语句,try块,a的定义非文字类型的变量,静态或线程存储持续时间的变量的定义,不执行初始化的变量的定义。 constexpr
声明了两个对象以及适合在常量表达式中使用的函数。常量表达式不仅仅是常量:
template<int N>
class fixed_size_list
{ /*...*/ };
fixed_size_list<X> mylist; // X must be an integer constant expression
int numbers[X]; // X must be an integer constant expression
constexpr
并不一定保证会在编译时对其进行评估。它可以用于此目的,但也可以在运行时评估的其他地方使用。constexpr
。例: int main()
{
const int N = 3;
int numbers[N] = {1, 2, 3}; // N is constant expression
}
这是可能的,因为N
是常量,并且在声明时使用文字进行了初始化,即使未声明constexpr
,它也满足常量表达式的条件。constexpr
?
N
这样的对象可以用作常量表达式,而无需声明为constexpr
。对于所有存在以下对象的对象都是如此:const
constexpr
,以便;仅满足常数表达式函数的标准是不够的。例: template<int N>
class list
{ };
constexpr int sqr1(int arg)
{ return arg * arg; }
int sqr2(int arg)
{ return arg * arg; }
int main()
{
const int X = 2;
list<sqr1(X)> mylist1; // OK: sqr1 is constexpr
list<sqr2(X)> mylist2; // wrong: sqr2 is not constexpr
}
const
和constexpr
? constexpr
暗含const
。constexpr const int N = 5;
是相同的constexpr int N = 5;
但是,请注意,在某些情况下,关键字每个都引用声明的不同部分:static constexpr int N = 3;
int main()
{
constexpr const int *NP = &N;
}
在这里,NP
声明为地址常量表达式,即本身就是常量表达式的指针。 (当通过将地址运算符应用于静态/全局常量表达式来生成地址时,这是可能的。)在此,constexpr
和const
都是必需的:constexpr
始终引用要声明的表达式(此处为NP
),而const
引用int
(它声明了一个指向常量的指针)。删除const
将使表达式非法(因为(a)指向非常量对象的指针不能为常量表达式,并且(b)&N
实际上是指向常量的指针)。constexpr
表示const
,而在C++ 14和C++ 17中则不是这种情况。在C++ 11下声明为的成员函数为constexpr void f();
需要声明为constexpr void f() const;
在C++ 14下,仍然可以用作const
函数。
关于c++ - `constexpr`和 `const`之间的区别,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28755515/
在 ubuntu gcc 8.0 中: void bar(){} constexpr int foo(int a) { if (a <=0 ) bar(); retur
考虑一个在运行时只包装一个值的类: template class NonConstValue { public: NonConstValue(const Type& val)
在试验 constexpr 函数和模板(以及非类型模板参数)时,我偶然发现了一个现象,我无法理解是哪条规则使它生效。 所以根据 constexpr-s 的规则,我的问题本质上是“为什么会发生这种情况”
我正在阅读 Nicolai M. Josuttis 所著的“C++ 17 The Complete Guide”一书,无法理解以下示例 auto squared1 = [](auto val) con
(使用 g++ 7.0 主干。) 给定以下“类型到值包装”实用程序... template struct type_wrapper { using type = T; }; // "Wraps" a
我编写了一些代码,它能够根据调用站点提供与给定函数关联的字符串(通过函数指针和并行数组的tuple)来分派(dispatch)给函数。 dispatch 函数不直接接受字符串,而是接受 Callabl
如果我想使用一些方便的东西,比如 make_array 我没有机会先声明我的数组,然后再像“早些时候”那样进行定义,因为我的 var 类型不可用定义前。 所以我找到了这个答案: Undefined r
使用 gcc (HEAD 7.0.0 201612) 我惊讶地发现这有效: constexpr long value(const char *definition) { if (definit
我有这个片段。 #include #include struct JustStr { JustStr(const std::string& x) : val(x) {} stati
我找不到任何关于新 C++17 if 初始化语法的信息和“constexpr if”在: http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/p01
考虑以下函数: template auto concatenate(std::array &data1, std::array &data2) { std::array result;
假设我有以下对象: #include class Foo { public: constexpr Foo() {}; constexpr std::string foo() cons
我正在尝试使用 https://github.com/gdelugre/literal_ipaddr它说它是一个 C++17 constexpr implementation of inet_addr
我想重新定义unique_ptr用一个特殊的析构函数。因此,我使用以下代码尝试模仿 unique_ptr 的一些构造函数.遗憾constexpr施 worker 员拒绝 build ,我不知道为什么。
我想用结构名称的哈希值初始化一个结构成员。 constexpr uint32_t myHash(const char* const data) { //Some code for hash r
我正在尝试编译 C++ 库(使用 gcc 5.3.1-14ubuntu2)并遇到此类错误: > In file included from > /root/pitchfork/workspace/un
设置: 我有一个使用 SIMD 内部函数的函数,我想在一些 constexpr 函数中使用它。 为此,我需要将其设为 constexpr。但是,SIMD 内在函数没有标记为 constexpr,编译器
这是一个简化的代码示例,旨在生成任意值序列(在 std::iota 的意义上)和在它们之上的不同类别的迭代器: struct delta { template void inc(I&
考虑以下函数: template auto concatenate(std::array &data1, std::array &data2) { std::array result;
我偶然发现了调用非 constexpr 函数的 constexpr 模板函数:在以下代码段中,由于调用了非 constexpr set,bar 无法按预期编译,但 foo 可以编译。谁能告诉我 foo
我是一名优秀的程序员,十分优秀!