我希望有一个行为不同的类型，不管它是在常量表达式上下文中使用的。，无论是从constexpr上下文调用还是从constexpr上下文调用，foo的行为都不同，因为专门化依赖于constexpr-ness，所以它打印： Runtime: 0 ConstEval: 1注意:我实际上不想有不同的行为
浏览 4提问于2021-11-17得票数 3
在某个时候，Emacs添加了pure符号属性，指示已知哪些函数是纯的(参见)。是否有一种方法可以使用此属性来确定整个表达式是否为常量且无副作用？a)))
值得注意的是，let和if都没有被标记为纯的，但这仍然是一个计算为-3的常量表达式。有什么方法可以用任意的表达式来判断它是否是常量？我知道有
浏览 5提问于2021-05-15得票数 3
回答已采纳
2回答
我试图协调引用透明性的定义与OCaml处理多态类型和副作用的方式。我在上读到
如果定义的含义不取决于其所处的上下文，则称其具有参考透明度。OCaml中的函数具有引用透明性，也就是说，更改上下文(其他变量和其他函数)不会改变您已经定义的任何函数的含义。在调试程序时，这一事实可能是至关重要的，因为您很可能经常重新
浏览 1提问于2011-05-22得票数 3
回答已采纳
2回答
如何在Isabelle中定义具有不同定义的函数，这取决于它的参数类型或使用它的上下文的类型？例如，我可能想定义一个类型为'a ⇒ bool的函数is_default，其中每个不同类型的'a都可能有<em
浏览 18提问于2013-04-08得票数 6
回答已采纳
1回答
Lambda表达式不允许在未评估的上下文中(例如，在解密类型中)，并且直到最近才能成为常量表达式。因此，无法在模板参数中使用它们。
然而，在C++17中，常量表达式lambdas是可能的。但是，对于非类型模板参数，常量表达式lambda表达式可以在评估<em
浏览 4提问于2016-09-30得票数 5
回答已采纳
或者->操作符是，首先在对象表达式的类中查找，如果找到名称，则使用名称。否则，它将在整个后缀表达式的上下文中查找。注意:参见3.4.3，它描述了在:：之前查找的名称，只会找到一个类型或名称空间名称。-end注记
如果id表达式是转换函数id，则它的转换类型id是，首先在对象表达式的类中查
浏览 3提问于2013-08-13得票数 4
回答已采纳
以下代码段的计算结果为零：然而，如果你这样做：int下面这个事实就够奇怪的了，但我的印象是，unchecked的目的是迫使编译器发出代码，而这些代码假装不知道转换肯定会失败和/或发生某种溢出。换句话说，它应该给出与编译器不知道所涉及的值相同的结果(假设编译时禁用了“检查算术溢出”)。
这是怎么回事？我对unche
浏览 2提问于2011-07-30得票数 9
回答已采纳
void*是否总是具有与char*相同的表示形式？", (char*)0); //<- usage
66)宏NULL在(和其他标头)中定义为空指针常量；参见7.19。3值为0的整数常量表达式或强制转换为void *的表达式称为空指针常量。66)如果将空指针常量转换为指针类型
浏览 2提问于2016-10-05得票数 24
回答已采纳
1回答
我有一个泛型类，它需要在class属性中使用它的一个类型参数的名称。我不知道如何在这个上下文中访问类名[MessageBase
浏览 1提问于2019-06-12得票数 4
回答已采纳
N4527 14.6 tem.res/p8(8.1) -非相关名称中使用的类型在定义模板时是不完整的，但在执行实例化时是完全的，或
(8.2) -实例化使用在模板定义为时尚未定义的<
浏览 1提问于2015-12-08得票数 7
回答已采纳
2回答
在阅读了关于CSS问题的之后，我想知道：换句话说，7px是一个表达式吗？那7呢？引用，强调我的观点：
编程语言中的表达式是编程语言解释的一个或多个显式值、常量、变量、运算符和函数的组合。并计算到产生..。另一个值。这
浏览 7提问于2017-12-19得票数 1
回答已采纳
; };{ std::cout << fun(2,2);它会给我一个错误我不会在这里打电话的。iostream>
{ std::cout << fun(2,2);我使用的是带有g++版本4.7.2的MinGW。
浏览 2提问于2012-12-30得票数 21
回答已采纳
我试图使用一个适用于内置类型和用户定义类型的概念。在我的设置中，转发-声明某些函数是不方便的(因为函数间接地依赖于导致我的问题的概念)。因此，我需要用一些用户定义的类型来表达这个概念，它捕捉了bool的行为。
我的第二个问题:在我的函数上推迟查找名称的好方法
浏览 12提问于2021-06-16得票数 4
3回答
昨天我在面试一个中级软件工程职位的人，他提到在C中，NULL并不总是为零，他见过C的实现，其中NULL不是零。我觉得这很可疑，但我想确认一下。有人知道他是对的吗？(回复不会影响我对此候选人的判断，我已经将我的决定提交给了我的经理。)
浏览 2提问于2012-03-28得票数 66
回答已采纳
2回答
最少的例子/澄清
例如，在下面的代码片段(标记为(1)的行)中，我在constexpr环境中调用一个函数，每当传递non-constexpr函数时，它都会导致编译时错误。至少我使用的编译器(g++-10.0)可以做到这一点，尽管它也可以意识到表达式总是true，而不需要计算它。我之所以问这个问题，是因为--据我所知--在一个非连续的上下文中，像i >
浏览 3提问于2020-03-24得票数 0
回答已采纳
2回答
那么，这是否意味着1,2不是一个常量表达式？算术常量表达式应具有算术类型，并且只能具有整数常量、fl常数、枚举常数、字符常量和表达式大小的操作数。算术常量表达式中的Cast运算符只应将算术类型转换为算术类型，但作为操作数的一部分，应转换为结果为整数常量<em
浏览 9提问于2011-02-04得票数 9
回答已采纳
4回答
在c++和c++中，可以用标记定义enum。smth_one, smth_err或者没有标签 smth_one, smth_err可以用作一个没有参数的文件#define宏。意思是:不要在文件中写入#defin
浏览 2提问于2012-04-14得票数 16
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
