检查概念中的常量表达式
常量表达式是在编译时就可以计算出结果的表达式，其值在程序运行期间保持不变。常量表达式可以包括字面值、枚举常量、常量变量和一些基本的运算符。
常量表达式的特点包括：
- 值在编译时确定：常量表达式的值在编译时就可以确定，不需要在程序运行时计算。
- 不可修改：常量表达式的值在程序运行期间保持不变，无法被修改。
- 编译时优化：编译器可以对常量表达式进行优化，减少程序运行时的计算量。
常量表达式在编程中有多种应用场景，例如：
- 定义常量：常量表达式可以用于定义程序中的常量，提高代码的可读性和可维护性。
- 数组长度：在定义数组时，常量表达式可以用于指定数组的长度。
- 枚举值：常量表达式可以用于定义枚举类型的取值。
腾讯云提供了一系列与云计算相关的产品，包括：
- 云服务器（CVM）：提供弹性计算能力，支持多种操作系统和应用场景。详情请参考：腾讯云云服务器
- 云数据库 MySQL（CDB）：提供稳定可靠的关系型数据库服务，支持高可用、备份恢复等功能。详情请参考：腾讯云云数据库 MySQL
- 云原生容器服务（TKE）：提供高度可扩展的容器集群管理服务，支持容器化应用的部署和管理。详情请参考：腾讯云云原生容器服务
- 人工智能平台（AI Lab）：提供丰富的人工智能算法和模型，支持图像识别、语音识别、自然语言处理等应用。详情请参考：腾讯云人工智能平台
以上是腾讯云提供的一些与云计算相关的产品，可以根据具体需求选择适合的产品来支持云计算领域的开发工作。
相关·内容
1回答
有效终级的Javac缺失优化
、、、、
事实：
javac被编程用于检测变量是否为final，或者是否可以有效地将其视为 final。
证明：
这段代码说明了这一点。
public static void finalCheck() {
String str1 = "hello";
Runnable r = () -> {
str1 = "hello";
};
}
这无法编译，因为编译器能够检测到String引用，str1被重新分配到函数中。
现在
情景1:
Javac通过避免创建final String实例和相关操作，对S
浏览 0提问于2018-04-17得票数 7
consteval函数的论点是：
编译时已知的类型--
但不是是
Andrew在他的论文“”中解释了这种行为背后的动机，指出了这一点。
可以从consteval函数返回参数并将其用作constexpr
consteval int foo(int n) {
return n;
}
constexpr int i = foo(9);
但是，不能将它作为constexpr在consteval函数本身中使用：
// fails to compile
consteval int abs(int n) {
if constexpr (n < 0) {
浏览 2提问于2020-05-13得票数 1
回答已采纳
1回答
最近我很失望地获悉，与C++不同，C不允许在静态变量初始化期间分配变量。下面的代码编译为C++..。
#include <stdio.h>
int foo()
{
return 1;
}
static int g_i = foo();
int main( int argc, char* argv[] )
{
printf( "%d\n", g_i );
return 0;
}
...but使用C编译器发出以下错误：
>cc -g main.c
main.c:8:1: error: initializer element is not cons
浏览 4提问于2017-06-15得票数 1
回答已采纳
我很难理解这个公式中的O(1)符号，它代表一个常数吗？为什么人们会使用像这样的大O符号？
这个公式来自论文，并且这个公式在摘要中使用：
浏览 1提问于2013-05-09得票数 0
3回答
在下面的代码中，为什么这两个语句是非法的？
const int i[] = { 1, 2, 3, 4 };
// float f[i[3]]; // Illegal
struct S { int i, j; };
const S s[] = { { 1, 2 }, { 3, 4 } };
//double d[s[1].j]; // Illegal
int main() {}
为什么他们是非法的？文本定义如下，我不明白。
在数组定义中，编译器必须能够生成移动堆栈指针以容纳数组的代码。在上述两种非法定义中，编译器都会抱怨，因为它在数组定义中找不到常量表达式。
提前谢谢。
浏览 2提问于2012-08-21得票数 0
1回答
假设我有以下内容：
int i = 1;
String str("abc");
str会被认为是常量表达式吗？
从许多C++书籍中可以看出，常量表达式的计算结果必须是整型的。
浏览 4提问于2011-11-15得票数 0
回答已采纳
我想定义一些常量，比如#define myXYZ 1，这样我也可以在switch语句中使用它们。
当我这样做的时候，经常被建议
public static final Integer myXYZ = 1;
和
case Constants.myXYZ:
我得到了编译器的消息，case expression must be constant
解决这个问题的最佳方法是什么？
谢谢!
浏览 0提问于2011-10-04得票数 3
回答已采纳
1回答
模板类中的“使用”强制实例化吗？
、、、、
这个问题是关于如何在运行main()之前使用全局变量初始化来实现某些副作用(例如，在main()之前进行工厂类注册)。当涉及模板时，这可能是很棘手的。请考虑以下代码：
template <class T>
class A {
public:
static bool flag;
static bool do_something() {
// Side effect: do something here.
}
template <bool&>
struct Dummy {};
// Import
浏览 5提问于2020-02-08得票数 2
1回答
我试图创建一个编译时求和函数，并希望它确保所有给定的参数都是正数：
template<typename T>
concept Positive = requires(T t) {
{ /*what should be here?*/ } ;
};
template<Positive... T>
int sum(T... x) {
return (x + ...);
}
但我想不出怎么做.
浏览 1提问于2021-09-04得票数 0
回答已采纳
我正在尝试混合声明的例子。为什么这个静态int x=j+i会给出错误"initialiser element is not a constant"？
静态变量总是必须用常量声明，而不是用变量赋值吗？
#include<stdio.h>
int main(){
int i = 1;
int j;
for(j = 2 * i ; j < 20; j++){
static int x = j + i;
printf("\n x = %d \n
浏览 1提问于2014-02-02得票数 0
1回答
因此，我在GDB中运行一个程序，并为某个变量(具体地说，是一个对象指针)设置了一个观察点，该变量存在于地址0x6030b0：
(gdb) wa (TNode<UCSDStudent> **)0x6030b0
Watchpoint 7: (TNode<UCSDStudent> **)0x6030b0
我知道指针的值：
(gdb) p/x *((TNode<UCSDStudent> **)0x6030b0)
$5 = 0x603130
我在程序末尾的第115行设置了一个断点。然后我继续到这个断点：
(gdb) c
Continuing.
No more
浏览 0提问于2016-02-28得票数 3
4回答
我现在正在处理属性。我经常遇到这样的错误：‘属性参数必须是属性参数类型的常量表达式、类型表达式或数组创建表达式。’我真的不知道“常量表达式”是什么意思。
如果能够将一个Func<MyType, bool>传递给该属性(当该属性存在时将由执行的代码使用)，这将非常有用。但是，遗憾的是，没有。我不明白为什么不能将该类型放在程序集元数据中，我认为这就是我不能将其传递到属性中的原因。
有谁能给我一些建议吗？
浏览 5提问于2012-05-04得票数 6
回答已采纳
1回答
这可以看作是对的一个扩展(我只对C感兴趣，但是添加C++来完成扩展)
6.3.2.3.3的C11标准规定：
值为0的整数常量表达式或转换为void *类型的此类表达式称为空指针常量。
我个人对此的看法是，0和(void *)0表示空指针，其整数值可能实际上不是0，但这不包括对任何其他类型的0强制转换。
但是，这一标准仍在继续：
如果将空指针常量转换为指针类型，则得到的指针称为空指针.
它将(int *)0作为空指针，因为强制转换是一个显式转换(C11，6.3)，它在转换方法下面列出。
然而，我仍然想知道的是下面这个短语
..。或者转换成void *类型的表达式..。
有
浏览 5提问于2014-01-27得票数 20
回答已采纳
1回答
考虑以下无用的概念C
template<class T>
concept C = static_cast<T>(true);
如果在未评估的上下文中将任意类型传递给C，则将成功编译：
struct S {};
decltype(C<S>) x = 0;
但是，如果我们在未评估的上下文中将int传递给C：
decltype(C<int>) y = 0;
GCC仍然接受，
<source>:2:13: error: atomic constraint must be of type 'bool' (found 'i
浏览 2提问于2021-08-24得票数 9
回答已采纳
我试图编写一个与整数密切相关的类，因此我在表单中包含了一个转换构造函数
constexpr example::example(const int &n);
我的问题是:如果我随后定义了函数
void foo(example n);
我就这样用它
foo(3);
在我的代码中，整数文本3是否在编译时在example实例中转换？
如果没有，是否有办法获得这种行为？
如果是，如果构造函数未显式声明为constexpr，是否仍会发生这种情况？
浏览 8提问于2021-04-29得票数 6
回答已采纳
2回答
类型名称的概念/SFINAE错误
、、、、
我试图用新的概念语法为自己做一个简单的例子。我决定测试一个类型是否定义了operator()，并创建了一个结构来使用SFINAE范式来测试，但是我遇到了类型问题。这是我的代码：
#include <utility>
#include <functional>
namespace Templates::Concepts {
template<class type__>
struct call_check {
template<class type_ = type__>
static auto c
浏览 2提问于2018-06-23得票数 1
回答已采纳
看看这个Josh Bloch和William Pugh的，大约时间索引0:25:00-0:33:00。
其中一位发言人说，如果使用小写的boolean而不是Boolean，那么LIVING将被视为真正的“编译时间常量”，当它被初始化时，它不再重要。
好吧，这一切都很好，但是，看看当您恢复到静态init和构造函数之间的原始顺序，然后通过一个简单的“提取方法”操作时会发生什么。这两个程序打印不同的输出：
public class Elvis {
private static final Elvis ELVIS = new Elvis();
private Elvis () {}
浏览 1提问于2011-01-06得票数 24
回答已采纳
一小段代码：
void func()
{
const int BUF_SIZE = 5;
char scale[BUF_SIZE];
}
这段代码在C++下构建得很好，但在C下我有一个错误：
error C2057: expected constant expression
error C2466: cannot allocate an array of constant size 0
为什么？
编译器: Microsoft C++ 2008
提前感谢！
浏览 1提问于2011-06-09得票数 5
回答已采纳
有以下简单代码：
Class A
Private value As Integer = 1
Sub Action(Optional param1 As Integer = value)
End Sub
End Class
Visual抱怨默认值(value)有错误BC30369：
没有类的显式实例，不能从共享方法或共享成员初始化器中引用类的实例成员。
，这真的是这种情况下的错误吗？此方法不共享。
在2012或2013中，相同情况下的错误为
需要常量表达式。
绝对有道理的。
浏览 2提问于2015-08-09得票数 5
回答已采纳
C++：DWORD dwState = (DWORD)-1;
这里没有任何问题。
C#：uint state = -1；
在这里，uint或UInt32 --它被认为是DWORD的等效值--不能有负值，它抛出异常下面。
值对于UInt32来说要么太大要么太小。
我有一个代码，它从cpp和c#程序中读取这个值(存储在DB中)。Cpp将无效状态标记为-1。因此，我无法用uint类型从C#前台读取它。我不能在c++程序中更改这种类型。除了-1之外，cpp还可以为变量写入0-65536之间的任何值.
我如何从C#前线处理这件事？
浏览 3提问于2013-10-04得票数 0
回答已采纳
1回答
断言在常量表达式中可用吗？
、、、、
来自assert-macro的<cassert>提供了一种确保满足条件的简明方法。如果参数的计算结果为true，则不会有任何进一步的效果。但是，在这种情况下，它的调用也可以在常量表达式中使用吗？
浏览 2提问于2015-05-25得票数 12
回答已采纳
对于c和c++相同的程序，当我们使用常量整数变量作为case标签时，它只在c++中有效，而在c中不有效，当我们使用常量整数数组成员作为case标签时，它对c和c++都无效。这种行为的主要原因是什么？
//for c
#include <stdio.h>
int main()
{
const int a=90;
switch(90)
{
case a://error : case label does not reduce to an integer constant
printf("error");
b
浏览 3提问于2020-07-05得票数 1
3回答
我必须给一个静态变量赋值，这个值是我从一个函数中得到的。我尝试执行以下操作，但得到的初始化器元素不是常量。
int countValue()
{
return 5;
}
void MatrixZero()
{
static int count=countValue();
count++;
printf("count value %d \n",count);
}
int main()
{
MatrixZero();
return 0;
}
浏览 1提问于2013-02-16得票数 5
回答已采纳
2回答
当int i = 5;
int j = i;
在计算结果时，此表达式中的右值i是否为常量？
我之所以问这个问题，是因为在我的复制构造函数中，它的参数需要一个const
浏览 3提问于2011-03-01得票数 8
回答已采纳
2回答
在目前的C++标准中，有以下一段() (强调“地雷”)：
积分常量表达式是整数或非作用域枚举类型的表达式，隐式转换为prvalue，其中转换的表达式是核心常量表达式。[dcl.enum注释:这些表达式可以用作位字段长度，如果基础类型不固定( )，可用作枚举数初始化器( )，并用作对齐。- end注意事项 ]
关于这个定义，我有两个问题：
“隐式转换为prvalue”这一短语是否意味着要将一个表达式视为“积分常量表达式”，它必须出现在强制将其隐式转换为prvalue的上下文中吗？
“转换表达式”指的是什么？我知道这个问题是在中解决的。给出的答案是，经过以下初始化之后，“转换后的表
浏览 2提问于2019-06-05得票数 3
我有这样的代码：
int foo(void){
return 1;
}
int main(void){
static const int x = foo();
//do stuff
return 0;
}
但是我得到了一个关于用非常数值初始化静态变量的错误。我认为它与const说明符有关，但事实并非如此。我删除了const关键字，并执行了以下操作：
int foo(void){
return 1;
}
int main(void){
static int x = 0;
if (x == 0) x = foo();
//do
浏览 1提问于2012-03-27得票数 7
回答已采纳
我正在尝试获取getelementptr指令所引用的数组的名称。当数组被索引为使用实际c++代码中的中间变量时，这似乎是可行的，如下所示
int a = 0;
i[a] = 3;
在本例中，我得到以下bitcode
%arrayidx = getelementptr inbounds [2 x i32], [2 x i32]* @i, i64 0, i64 %idxprom
store i32 3, i32* %arrayidx, align 4
在这种情况下，我可以迭代getelementptr指令的操作数，并通过第一个操作数上的getName()方法找到数组(I)的名称。
但是，如果在源
浏览 0提问于2015-11-06得票数 5
回答已采纳
来自
此构造函数是constexpr当且仅当可选类型T_0的值初始化满足对constexpr函数的要求时。
上面没有提到变体中的其他类型，所以如果变量必须有一个非平凡的析构函数，那么声明constexpr variant<int, string> v;是否有效？
浏览 2提问于2017-03-12得票数 1
回答已采纳
1回答
如何正确使用概念？
、、、
目前，我正在学习C++，并决定从C++20开始。然而，这些代码让我抓狂，因为我认为结果没有任何意义。
下面的代码将打印句子Valid array.。我以上的意思是，这是不对的。它根本不应该打印这个句子，因为我在参数中插入的类型与这个概念不匹配。
在VS2022预览3和上使用最新的GCC和C++2A参数进行测试，得到了相同的结果。
#include <array>
#include <cstdio>
#include <iostream>
#include <type_traits>
using namespace std;
template&
浏览 4提问于2021-08-16得票数 12
回答已采纳
当我单击它并给出ok来运行测试时，它确实给出了传递的结果，但是当我给出它的值为(1012\1-9)：0-5(am\pm)时，检查正则表达式并保存它。在运行它时，测试会失败(我在worldtimeserver.com上尝试过)，表达式是
浏览器(“当前本地时间”).Page(“当前本地时间”).Check CheckPoint(“当前印度本地时间”)
它没有显示我选择的时间，而是显示了“在is和星期一之间选择的检查”。
浏览 3提问于2012-11-02得票数 0
回答已采纳
假设我有像这样的位置变量
const float latitude = 51.+11./60.+33.0461/3600.;
const float longitude = 12.+50./60.+31.9369/3600.;
并经常在程序中使用它们。编译器会预先计算吗？(这个示例应该不会产生太多开销，但您已经明白了这一点。)
指出位置的加分。;)
提亚
浏览 0提问于2010-05-27得票数 4
回答已采纳
2回答
假设我想要能够写：
template<class T> concept WithNestedTemplate = ...;
struct F { template<class> using nested = int; };
static_assert(WithNestedTemplate<F>);
static_assert(!WithNestedTemplate<int>);
也就是说，WithNestedTemplate应该检查是否存在带有签名template<class> class的成员类模板或别名模板。
我可以写一个助手概念
浏览 0提问于2021-05-20得票数 3
1回答
无效约束表达式
、、
以下不使用Clang 15或Clang主干进行编译，与GCC 12.2和MSVC 19.33形成对比。嵌套必需子句中的反制式是否无效？
struct t {
constexpr auto b() const noexcept
{ return true; }
};
template<typename T>
concept c = requires(T t) {
requires t.b();
};
static_assert(c<t>);
Clang生成的错误消息：
<source>:11:1: error: static ass
浏览 10提问于2022-11-03得票数 8
回答已采纳
我尝试了以下代码：
int x, y;
x = y = int.MaxValue;
int result = x + y;
此代码工作良好，结果将包含-2 (我知道原因)。
但在这样做的时候：
const int x = int.MaxValue;
const int y = int.MaxValue;
int result = x + y;
这将不会编译，因为溢出problem.Why？
浏览 1提问于2013-11-01得票数 12
回答已采纳
int aaa;
int& v = aaa;
int& rf = v;
constexpr int& crf = rf;
int main(){
}
我想知道为什么所有编译器都同意这个例子是格式良好的呢？一个constexpr变量不应该有一个在编译时可以知道的值吗？既然aaa的值有一个不确定的值，为什么编译器可以访问这个示例？
浏览 1提问于2021-08-09得票数 3
回答已采纳
3回答
为什么在C#中，示例A是有效的，可编译的，并且只会包装，而示例B不会编译？
一个
int val = 0;
val = val + Int32.MaxValue +2;
或
int val = Int32.MaxValue;
val++;
B
int val = 0;
val = 2147483647 + 1;
或
int val = 0;
int val = Int32.MaxValue + 1;
我知道默认情况下不会检查算术异常，除非您在配置中使用checked方法、块或属性显式检查。我的问题更多地与编译器有关，而不是算术异常是如何发生的。
浏览 0提问于2010-07-17得票数 7
回答已采纳
2回答
是否使用常量为有效的C99的数组initalization中的张量运算符？
uint8_t foo[] = {bar? 9U:20U};
浏览 0提问于2018-02-07得票数 6
回答已采纳
2回答
假定零常数为零安全吗？
、、、
理查德·里斯( Richard )著的“理解和使用C指针”一书说：
空概念是空指针常量支持的抽象。这个常数可能是，也可能不是常数零。C程序员不需要关心他们的实际内部表示。
我的问题是，既然“这个常数可能是或可能不是常数零”，那么在我的代码中这样做对我来说安全吗？
int *ptr = NULL;
// Some code which probably sets ptr to a valid memory address
if(!ptr)
{
ERROR();
}
如果NULL不是0，则If子句有可能计算为true。
浏览 4提问于2020-03-20得票数 7
回答已采纳
1回答
以这个简短的C文件nulltest.c为例，它打印“嘿”：
#include <stddef.h>
#include <stdio.h>
int main() {
char c = NULL;
c = 'e';
printf("H%cy\n", c);
return 0;
}
我的理解是，在C中，NULL ，这将使char c = NULL成为指向整数的指针的隐式转换。然而，在gcc 4.8编撰这篇文章时：
$ gcc --version
gcc (Ubuntu/Linaro 4.8.1-10ubuntu9) 4.8.1
浏览 3提问于2014-04-24得票数 6
回答已采纳
由于无法访问x=3，下面的代码无法编译
while (false) { x=3; }
但是为什么for( int i = 0; i< 0; i++) {x = 3;}编译得很好呢？在这段代码中，x=3也是不可访问的。
浏览 2提问于2019-11-11得票数 0
回答已采纳
2回答
N4527 5.20expr.constp5
常量表达式要么是一个glvalue核心常量表达式，其值指的是一个常数表达式的允许结果(如下所定义)，要么是一个prvalue核心常量表达式，其值是一个对象，其中，对于该对象及其子对象：
-引用类型的每个非静态数据成员都指一个实体，该实体是常量表达式的允许结果，以及
-如果该对象或子对象为指针类型，则它包含具有静态存储持续时间的对象的地址、该对象结束后的地址(5.7)、函数的地址或空指针值。
如果实体是具有静态存储持续时间的对象，该对象不是临时对象，或者是值满足上述约束的临时对象，或者是函数，则实体是常量表达式的允许结果。
void foo(
浏览 2提问于2015-07-20得票数 31
回答已采纳
使用所有主要编译器的下列程序：
struct S {
constexpr S(const S&){};
constexpr S() = default;
};
int main(void) {
S s1{};
constexpr S s2{ s1 };
}
控制constexpr变量初始化的规则是：(强调地雷)
对象声明中使用的constexpr说明符将对象声明为const。这类对象应具有文字类型，并应初始化。在任何constexpr 变量声明中，初始化的全部表达式应该是一个常量表达式(7.7)。一个constexpr变量应该有持续的破坏。
根
浏览 1提问于2022-09-28得票数 6
1回答
我在库项目中有一个从R.java引用资源I的开关：
switch (code) {
case R.id.code_one:
blah();
break;
case R.id.code_two:
bleh();
break;
}
从ADT 14，R字段不再是最终的，所以Google建议将切换改为嵌套的if。
然而，我不知道为什么这不起作用：
final int CODE_ONE=R.id.code_one, CODE_TWO=R.id.code_two;
switch (code) {
case CODE
浏览 3提问于2014-09-09得票数 2
回答已采纳
3回答
请任何人帮助我为什么这样的符号常量的定义会在函数中产生以下静态变量的错误定义:错误：‘variable’的存储大小不是常量
#define SAMPLE_RATE 200 /* Sample rate in Hz. */
#define MS_PER_SAMPLE ( (double) 1000/ (double) SAMPLE_RATE)
#define MS10 ((int) (10/ MS_PER_SAMPLE + 0.5))
#define MS25 ((int) (25/MS_PER_SAMPLE + 0
浏览 11提问于2021-02-15得票数 0
比较
INTEGER, SAVE :: foo = 3
至
INTEGER, PARAMETER :: foo = 3
它们在哪些方面表现不同？显然，当有人试图修改foo时，后者会触发编译器错误，但这是不是就像C/ C++中的const关键字一样，或者它也暗示了存储位置等方面的问题？
浏览 0提问于2016-03-10得票数 1
2回答
就我所理解的Java8 而言，表达式(1/0)被认为是一个常量表达式，但是当我试图用OpenJDK 8编译下面的程序时，我会得到一个错误
public class Switch {
public static void main(String[] args) {
switch(42) {
case (1/0):
return;
default:
return;
}
}
}
错误说(1/0)不是一个常量表达式
Switch.java:4:
浏览 3提问于2015-07-03得票数 33
回答已采纳
<a [routerLink]="..."/>
<a routerLink="..."/>
在本教程中，我看到他们为routerLink属性使用了两种类型的语法。
我找不到任何文件来说明它们之间的区别。
浏览 3提问于2018-06-14得票数 2
回答已采纳
5回答
c99中的静态结构初始化
、、、
在GCC中使用复合文本在c99/gnu99模式下进行静态结构初始化时，我遇到了一种奇怪的行为。
显然这很好：
struct Test
{
int a;
};
static struct Test tt = {1}; /* 1 */
然而，这并不是：
static struct Test tt = (struct Test) {1}; /* 2 */
这将触发以下错误：
初始化元素不是常量。
此外，这也无助于：
static struct Test tt = (const struct Test) {1}; /* 3 */
我理解静态结构的初始化值应该是编译时常量。但是我不明白
浏览 2提问于2015-08-06得票数 17
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
