有没有可能为不应该编译的表达式表达static_assert？
有可能为不应该编译的表达式表达static_assert。在C++17之前，static_assert只能用于编译时确定的常量表达式，无法用于运行时才能确定的表达式。然而，C++17引入了constexpr if语句，使得我们可以在编译时根据条件选择性地编译代码块。通过结合constexpr if和static_assert，我们可以实现在运行时条件下才会触发的static_assert。
下面是一个示例代码：
template <typename T>
void check(T value) {
if constexpr (std::is_same_v<T, int>) {
static_assert(sizeof(int) == 4, "int must be 4 bytes");
} else {
static_assert(sizeof(T) == 8, "T must be 8 bytes");
}
}
int main() {
check(42); // 编译通过，因为int是4字节
check(3.14); // 编译通过，因为double是8字节
check("hello"); // 编译错误，因为const char[6]不是8字节
return 0;
}在上述示例中，check函数使用了constexpr if来根据模板参数T的类型选择性地编译代码块。如果T是int类型，那么会触发static_assert来检查int是否为4字节；如果T是其他类型，那么会触发static_assert来检查T是否为8字节。通过这种方式，我们可以在编译时对不同类型的表达式进行静态断言。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云官网：https://cloud.tencent.com/
- 云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 云数据库 MySQL 版：https://cloud.tencent.com/product/cdb_mysql
- 人工智能平台（AI Lab）：https://cloud.tencent.com/product/ailab
- 物联网开发平台（IoT Explorer）：https://cloud.tencent.com/product/iotexplorer
- 移动应用托管服务（Serverless Cloud Function）：https://cloud.tencent.com/product/scf
- 对象存储（COS）：https://cloud.tencent.com/product/cos
- 区块链服务（Tencent Blockchain）：https://cloud.tencent.com/product/tencentblockchain
- 腾讯云元宇宙：https://cloud.tencent.com/solution/virtual-universe
相关·内容
1回答
我可以执行以下操作来检查类模板整数参数是否为偶数：
template<int N>
struct S
{
static_assert( N % 2 == 0, "fail" );
};
这是用gcc 4.8.3编写的，但我不确定这段代码是否违反了C++11标准，以及它是否会与其他符合标准的编译器一起工作。
浏览 3提问于2014-07-10得票数 2
回答已采纳
1回答
我使用的是VS2022、.NET 6、C# 10，并在项目范围内启用了可空上下文。
public static ModelEnumerationAttributeProperty FromPropertyInfo (PropertyInfo propertyInfo, object value)
{
var property = ModelEnumerationAttributeProperty.FromPropertyInfo(propertyInfo);
property.PropertyValue = value;
property.PropertyValueS
浏览 6提问于2021-12-11得票数 1
回答已采纳
我正在使用C# 8并启用Nullable特性，但我对下面的场景感到困惑
它显示errorsList可能为空，为什么是空的？顺便说一句，如果errorsList可以是null，为什么编译器不为errorsList.Count生成一个潜波警告
即使我添加了一个null -宽恕操作符!，它也显示errorsList可以是空的？
浏览 4提问于2022-09-29得票数 0
回答已采纳
我想在我的static_assert项目中使用C++11来做一些编译时检查。
据我理解，static_assert不会在运行时执行，对吗？
如果是这样的话，当我通过执行有关编译的命令(如gcc ... )来编译我的项目时，编译器会将static_assert构建到二进制文件中，或者static_assert将被完全忽略，就像注释一样？
浏览 12提问于2021-12-23得票数 0
回答已采纳
当一个类有一个constexpr成员函数，并且该成员函数在一个constexpr上下文中的l-值对象上被计算时，clang和gcc不同意结果是否是一个constexpr值。为什么？有没有一个既不需要默认构造性也不需要复制可构造性的解决方案？
当通过值传递对象时，两个编译器都会成功编译。
Clang版本主干，8，7：static_assert expression is not an integral constant expression
和
Gcc版本主干，8.1，7.4:编译没有错误
#include <array>
using A = std::array<int,
浏览 1提问于2019-09-03得票数 8
回答已采纳
在中，我假设if constexpr的行为像一个普通的if，但在编译时工作。
描述说：
在constexpr语句中，条件的值必须是类型bool的上下文转换的常量表达式。如果值为true，则语句-false被丢弃(如果存在)，否则，语句-true被丢弃。
constexpr (false)显然是错误的，所以static_assert应该被丢弃，对吗？但是，对于下面的代码，我总是会得到断言的编译错误：
if constexpr (false) {
static_assert(false, "empty");
}
虽然我希望没有编译错误。这是XCode 10，启用了cla
浏览 0提问于2019-04-30得票数 1
我不确定这是或C#中的一个bug .
如果Expression.Parameter()返回一个非空ParameterExpression (无问号)，那么为什么接收其返回值的局部变量被保存为潜在的null？即ParameterExpression?而不是ParameterExpression
我用的是ASP.NET 6.0.2和Visual Studio 2022 v17.1.3
浏览 11提问于2022-06-05得票数 3
回答已采纳
2回答
我正在努力处理反射、泛型、平均处理程序和委托。我有一个从AsyncCompletedEventArgs派生的类型。我想创建一个具有此类型和委托的泛型EventHandler实例。之后，我想将此eventhandler添加到一个事件中。
有没有人可以帮助我使用反射来创建eventhandler和delegate？感谢所有的帮助。
// The type is derived from AsyncCompletedEventArgs
Type[] typeArgs = { soapServiceInfo.GetEntitiesCompletedEventArgsType };
var eventH
浏览 0提问于2011-09-26得票数 2
下面的代码背后的思想是只对具有特定大小的类型启用类，如下面的示例中的1：
#include <assert.h>
template<typename T>
class X
{
private:
template<int S=sizeof(T)>
inline void foo(void) {static_assert(false,"illegal type");}
};
template<typename T> template<int S>
inline void X<T>::foo&
浏览 0提问于2018-01-31得票数 0
回答已采纳
2回答
C++常量if语句的灵活性
、、、、
我经常遇到这样的情况：
if (A && B)
{
C();
}
else
{
D();
}
但是当A为constexpr时，如果B不也为constexpr，则无法向if语句指明这一点。此外，支持使用constexpr的解决方案也很丑陋：
if constexpr (A)
{
if (B)
{
C();
}
else
{
D();
}
}
else
{
D();
}
有没有让constexpr if语句更灵活的建议。来考虑哪些条件句是constexpr？如果不是，除了假设编译
浏览 5提问于2020-09-09得票数 1
例如，在C11中编写是合法的：
int b = (some_function_returning_void(), 1020);
你会得到1020美元。但它不会让你写：
int b = (_Static_assert(2 > 1, "all is lost"), 304);
gcc归来
error: expected expression before '_Static_assert'
有时候，在表达式之外使用_Static_assert是不方便的，因为在基于预处理器宏的伪函数验证它们的参数时，这是不太好的。
浏览 1提问于2018-07-17得票数 8
回答已采纳
如果USE_STATIC_ASSERT是0，这将按预期工作(从列表中获取索引类型)。如果1，static_assert()总是被绊倒。我原以为，只有当所有的static_assert()都耗尽时，typename才会发生。为甚麽不是这样呢？
#define USE_STATIC_ASSERT 1
template <unsigned int I, typename ...Ts>
struct items;
template <typename T, typename ...Ts>
struct items<0, T, Ts...>
{
typede
浏览 2提问于2015-01-02得票数 0
回答已采纳
3回答
无效的静态断言行为
、、、
我正在尝试用GCC v4.3.x设置一个静态断言(在main函数之外)：
#define STATIC_ASSERT(cond) extern void static_assert(int arg[(cond) ? 1 : -1])
STATIC_ASSERT( (double)1 == (double)1 ); // failed
但是当我使用浮点数时，断言总是失败。
可以正确地运行这个静态断言吗？
浏览 0提问于2009-12-23得票数 2
回答已采纳
具有以下语法，该语法声明需要字符串文字。
static_assert ( bool_constexpr，string )；
由于在编译时无法观察到字符串的实例，因此以下代码无效：
const std::string ERROR_MESSAGE{"I assert that you CAN NOT do this."};
static_assert(/* boolean expression */ ,ERROR_MESSAGE);
我的代码中到处都是静态断言，它们都是相同的错误消息。由于字符串文字是必需的，所以最好用宏替换所有重复的字符串文本，还是有更好的方法？
/
浏览 4提问于2013-12-19得票数 1
2回答
据我所知，表达式模板将中断基于范围的C++11中的，因为for (auto x : expr)中有一个隐式的auto&& __range = expr，这将导致悬空引用。
有没有一种方法可以创建表达式模板类，使它们在基于范围的情况下正确运行，或者至少抛出编译错误？
基本上，我希望防止表达式模板可以正确编译，但由于引用悬空而在运行时失败的可能性。在基于范围的中使用表达式模板之前，只要用户忘记包装表达式模板，没有静默的运行时错误，我并不介意在某些东西中包装表达式模板。
浏览 28提问于2012-03-01得票数 9
回答已采纳
当使用g++ 4.8.2和-std=c++11标志编译以下代码时，它编译时没有错误：
constexpr double C = 299792.458;
const double local_max = 3.5;
static_assert(local_max < C, "can't go that fast");
在编译以下代码时会出现错误：
constexpr double C = 299792.458;
double x = 3.5;
const double local_max = x;
static_
浏览 8提问于2015-08-26得票数 3
回答已采纳
3回答
我不明白为什么这个不起作用：
template <typename ... Types>
void func()
{
(std::cout << typeid(Types).name(), ...) ; // Syntax error, unexpected token '...', expected 'expression'
(static_assert(std::is_integral_v<Types>, "Type must be integral type"), ...); // Sy
浏览 7提问于2021-05-15得票数 1
我有一个关于编译时函数的问题。我理解static_assert应该只与类型一起工作，这些类型可以在编译时进行评估/计算。因此，它不适用于std::string (但是，在gcc10中不支持array：：string)，而是使用std：：数组(当我在编译时知道大小时)。我正在看杰森·特纳的“C++周刊”，所以这段片段来自的这集。
代码在这里：
#include <array>
#include <algorithm>
template<typename Key, typename Value, std::size_t Size>
struct Map fin
浏览 4提问于2020-10-01得票数 0
回答已采纳
我正在阅读Bjarne的书“C++编程语言”，我找到了一个解释static_assert的例子。我所理解的是，static_assert只适用于可以用常量表达式表示的东西。换句话说，它不能包含要在运行时计算的表达式。
书中使用了以下示例(我在代码中做了一些更改)。但我认为这不应该改变书中给出的原始示例代码所产生的任何东西。)
#include <iostream>
using namespace std;
void f (double speed)
{
constexpr double C = 299792.468;
const double local_max
浏览 0提问于2017-07-28得票数 1
这就是代码
#include<stdio.h>
#include<stdbool.h>
#define BUILD_BUG_ON(condition) ((void)sizeof(char[1 - 2*!!(condition)]))
struct my_struct {
int a, b;
// char c;
};
int main() {
bool cond = 1;
BUILD_BUG_ON((sizeof
浏览 1提问于2015-07-19得票数 5
6回答
静态断言非常方便地在编译时进行检查。一个简单的静态断言成语如下所示：
template<bool> struct StaticAssert;
template<> struct StaticAssert<true> {};
#define STATIC_ASSERT(condition) do { StaticAssert<(condition)>(); } while(0)
这对像这样的东西很好
STATIC_ASSERT(sizeof(float) == 4)
以及：
#define THIS_LIMIT (1000)
...
STATIC
浏览 3提问于2010-05-25得票数 7
回答已采纳
2回答
我很想知道为什么我下面代码中的第二个static_assert不能工作。看起来，即使数组c是对a的引用，数组的大小也嵌入到类型中，因此在编译时应该可用。
#include <array>
int main()
{
std::array<int,2> a = {1,2};
std::array<int,2> b = {2,3};
std::array<int,2>& c = a;
static_assert(a.size() == b.size(), "a.size==b.size");
浏览 3提问于2020-08-09得票数 7
回答已采纳
我试图找到一种方法静态断言派生类指针可以安全地重新解释为指向基类的指针，这时我遇到了意想不到的事情：
我本以为以下代码中的两个静态断言会失败。
class Base1 {
int x;
};
class Base2 {
int y;
};
class Derived : public Base1, public Base2 {
int z;
};
// one of these should fail???
static_assert( (Derived *)nullptr == (Base1 *)nullptr, "err1" );
static_a
浏览 0提问于2019-11-09得票数 0
回答已采纳
4回答
基于。
考虑以下代码
template<typename T, int N>
struct A {
typedef T value_type; // save T to value_type
static const int size = N; // save N to size
};
听着，我可以使用value_type和size作为模板参数。
typedef A<int, 2> A1;
typedef A<A1::value_type, A1::size + 3> A2; // OK, A2 is A<int,5>
现在，我想对指
浏览 3提问于2009-12-16得票数 5
3回答
等价三值算子的若？
、、、
也许我遗漏了一些东西，但我找不到任何提示:在C++17中是否存在一个与constexpr if等价的三值运算符？
template<typename Mode>
class BusAddress {
public:
explicit constexpr BusAddress(Address device) :
mAddress(Mode::write ? (device.mDevice << 1) : (device.mDevice << 1) | 0x01) {}
private:
uint8_t mAddress = 0
浏览 6提问于2016-12-07得票数 63
回答已采纳
3回答
在正常的if条件下，短路工作。
然而，在试图短路的情况下，如果-警察不工作的话：
#include <iostream>
template <typename ... Args>
void foo(Args... args) {
std::string a;
// for the call of foo, sizeof...(args) = 0, so a > 2 shouldn't be evaluated.
if constexpr (sizeof...(args) == 0 || a > 2) {
st
浏览 11提问于2017-10-19得票数 5
2回答
#include <type_traits>
int main()
{
int n;
n = 0;
// failure!
static_assert(std::is_lvalue_reference_v<decltype(n)>);
}
n可以放在左侧，因此它显然应该是一个lvalue。
为什么static_assert 会失败？
浏览 0提问于2019-07-31得票数 3
回答已采纳
4回答
我有包含许多行的代码，如：
static_assert(sizeof(my_stuct)==42, "check struct size");
我想在一个没有static_assert实现的编译器上编译。所以我想让这些台词变得不受欢迎。我试过：
#define static_assert(COND, MSG)
它运行得很好，但是我收到了clang编译器的警告：
warning: extra ';' outside of a function [-Wextra-semi]
是否有一个简单的非op C语句可用于以分号结尾并可重复使用的外部函数？
浏览 0提问于2018-08-30得票数 1
回答已采纳
我知道强类型枚举数可以转换为其基础类型，如下所示：
template<typename E> constexpr
auto to_integral(E e) -> typename std::underlying_type<E>::type
{
return static_cast<typename std::underlying_type<E>::type>(e);
}
然而，这是在运行时工作的。
由于枚举器在编译时已经存在，有没有办法在编译时进行这样的转换？
浏览 19提问于2018-08-08得票数 0
回答已采纳
Ideone测试用例：
代码：
#include <iostream>
#include <sstream>
#include <vector>
#include <map>
#include <list>
#include <set>
#include <stdint.h>
template <typename T> std::ostream& write(std::ostream& os, T const& x);
template <typename T>
浏览 1提问于2011-10-05得票数 5
回答已采纳
1回答
#include <cstddef>
template<typename... Types>
constexpr std::size_t getArgCount(Types&&...) noexcept
{
return sizeof...(Types);
}
struct A
{
int n;
void f()
{
static_assert(getArgCount(n) > 0); // not ok, why?
}
};
int main()
{
int n;
s
浏览 0提问于2019-08-31得票数 12
回答已采纳
4回答
我尝试过使用来执行静态断言，但是如果在模板的方法中使用它，则不会得到编译错误。
例子如下：
#include <iostream>
#define STATIC_ASSERT(expr, msg) \
{ \
char STATIC_ASSERTION__##msg[(expr)?1:-1]; \
(void)STATIC_ASSERTION__##msg[0]; \
}
template <typename T >
浏览 3提问于2013-01-31得票数 0
回答已采纳
在下面的示例中，如果字符串以'v'开头，则main可以static_assert，但verify不能。
为什么会发生这种情况？有没有一种方法可以允许verify对字符串文字中的字符执行static_assert条件？
#include <cstddef>
template <std::size_t N>
constexpr char get_first(const char (&str)[N])
{
static_assert(N>1, "must be > 1");
return str[0];
}
浏览 33提问于2017-10-16得票数 7
2回答
MSVC中的折叠表达式
、、、、
我有以下函数来计算平均值：
template<typename... Ts>
auto mean_of(const Ts... values)
{
return (... + values) / static_cast<double>(sizeof...(Ts));
}
使用VS 2017 15.6.0预览3，下面的代码
std::cout << mean_of(1, 3);
输出2.5。看来MSVC将折叠表达式解释为1 + 3 / N，而不是(1 + 3) / N。如果我在折叠表达式周围添加额外的括号，则结果是正确的。GCC不需要额外的括号。
这是
浏览 1提问于2018-02-04得票数 10
回答已采纳
2回答
关于constexpr，我有以下几个问题，我有点理解不能将std::shared_ptr<T>声明为const，但是为什么第一个static_assert()要工作呢？
另外，第二个static_assert()是如何工作的？我希望有一个std::variants数组，这是consts，并且希望使用编译时类型检查来强制执行该类型；然而，如果一个std::shared_ptr是变体类型之一，那么它就不能被声明为constexpr；但是如果我声明容器为std::tuple，即使没有constexpr注释，(I)似乎也能工作；
typedef std::shared_ptr<int
浏览 0提问于2018-03-04得票数 2
请参考以下代码片段： #include <type_traits>
#include <string_view>
constexpr std::size_t strlen(char const* s) {
std::size_t n = 0;
while (*s++ != '\0')
++n;
return n;
}
template <std::size_t>
struct X {};
int main() {
constexpr auto pf = __PRETTY_FUNCTION
浏览 65提问于2019-04-25得票数 14
回答已采纳
2回答
在标准文件P0092R1中，Howard Hinnant写道：
template <class To, class Rep, class Period,
class = enable_if_t<detail::is_duration<To>{}>>
constexpr
To floor(const duration<Rep, Period>& d)
{
To t = duration_cast<To>(d);
if (t > d)
--t;
return t;
浏览 0提问于2015-11-15得票数 8
我有一个常量表达式函数，如下所示：
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
回答已采纳
template<typename T, typename U = void>
struct S { /* static_assert(0, "type unsupported"); */ };
template<typename T>
struct S<T, typename std::enable_if<std::is_integral<T>::value, void>::type> {
void foo() {}
};
...
S<int> i;
i.foo();
S<double>
浏览 0提问于2015-05-17得票数 6
回答已采纳
2回答
考虑以下无用代码：
struct S{
constexpr operator int() const { return 0; }
constexpr auto operator<=>(S) const { return *this; }
};
static_assert(S{} <= S{});
Clang和MSVC接受此代码，但GCC使用错误消息将其：
error: no match for 'operator<=' (operand types are 'S' and 'int')
哪个编译器是对的？oper
浏览 4提问于2021-03-17得票数 7
回答已采纳
2回答
模板的有条件编译
、、
我试图让static_assert帮助我避免C++11中的空指针。
问题似乎是C++11要求编译器编译模板，即使它们没有实例化。
我有以下代码：
#include <type_traits>
template<typename T, typename... Us>
std::enable_if_t< std::is_constructible<T, Us...>::value == true, T * >
create_if_constructible(Us... args) { return new T(args...); }
templa
浏览 4提问于2015-04-06得票数 0
回答已采纳
我注意到了static_assert的奇怪行为
#include <iostream>
template <typename T, unsigned int D> struct Vec
{
static_assert(D && 0, "Invalid dimension for vector!");
};
template <typename T> struct Vec<T, 1> {union {T x, r;};};
template <typename T> s
浏览 1提问于2015-01-09得票数 3
回答已采纳
1回答
下面是一个非常简单的类：
template <unsigned x>
class myArray {
int getIndex(unsigned i) { return y[i]; }
void setIndex(unsigned i, int v) { y[i] = v; }
private:
int y[x];
};
我如何使用模板元编程来确保x小于64 (或任何任意值)？
我可以添加构造函数：
myArray () { if (x >= 64) { throw; } }
但那太可怕了.
有没有一种更优雅的方法来绑定模板参数，这样它就可以在编译
浏览 17提问于2018-06-27得票数 0
回答已采纳
在下面的代码类中，A有一个私有成员函数f。我想要编写一个静态断言，以检查这个函数是否可以从当前上下文中访问(正如注释中所建议的那样)。
有3种类似的情况都是基于requires-expression的：
class A{ void f(); };
// #1: accepted by all
static_assert( { return requires(decltype(x) a){ a.f(); }; }(A{}) );
// #2: rejected by Clang:
static_assert( { return requires(A a
浏览 2提问于2022-01-20得票数 4
回答已采纳
4回答
这个语法被用作答案的一部分。
template <bool>
struct static_assert;
template <>
struct static_assert<true> {}; // only true is defined
#define STATIC_ASSERT(x) static_assert<(x)>()
我不懂那个语法。它是如何工作的？
假设我知道
STATIC_ASSERT(true);
它被转换成
static_assert<true>();
这次又是什么？
浏览 4提问于2010-06-23得票数 7
回答已采纳
3回答
我需要一个宏变量检查在设计时(前置程序)，更具体的数字，以适应24位。宏将用于if()语句，因此我不知道如何测试它。
这是一个ARM系统计时器(24位)，很多时候我忘记#定义正确的值，特别是当更改MCU时钟时，当然，我的if()从未触发，而且这个愚蠢的错误很难调试。
所以在这个例子中，有一个技巧强迫gcc在参数> 24位时出错？
#define PARAMETER 20000000 // over 24 bits, should throw a error at design time
#define MyMacro(var, par) (var >
浏览 9提问于2020-05-15得票数 1
回答已采纳
1回答
我有以下代码。它无限期地调用类的析构函数，然后崩溃。如果我将数组的大小更改为大于0的值，则可以正常工作。
#include <iostream>
using namespace std;
class ClassA {
public:
ClassA() {
cout << "constructor" << endl;
}
~ClassA() {
cout << "destructor" <<
浏览 1提问于2013-04-12得票数 0
回答已采纳
2回答
常数数组参考参数
、、、
请有人解释一下为什么下面的标记行编译得很好：
template<typename T, int N>
constexpr
int get_size(T (&)[N])
{
return N;
}
int main()
{
int xs[10];
constexpr int y = get_size(xs); // HERE.
static_assert(10 == y, "wrong size");
}
从直觉上看，get_size(xs)不是一个常量表达式，因为xs本身并不是，所以我不明白它为什么工作。
浏览 0提问于2013-10-16得票数 4
回答已采纳
让我们从示例()开始：
constexpr int len(int v) {
if (std::is_constant_evaluated()) {
// static_assert(v > 0); // ERR: 'v' is not a constant expression
return v;
} else {
return 0;
}
}
using A = std::array<int, len(3)>;
问题是，static_assert不会编译(gcc / clang最新的1
浏览 1提问于2020-08-10得票数 3
回答已采纳
目前，您不能使用static_assert来验证constexpr函数的参数，即使对它的所有调用实际上都是constexpr。这是有意义的，因为编译器仍然必须为这个函数创建一个非constexpr实例化，以防其他模块试图调用它。可悲的是，即使函数是static或匿名命名空间，情况也是如此。
然而，C++20将引入一个新的关键字consteval，它类似于constexpr，但它不允许以非参数方式调用函数。在这种情况下，编译器可以确定函数参数在编译时总是已知的。因此，理论上应该可以使用static_assert对它们进行验证。
问题是:标准允许吗？
示例：
#include <iostr
浏览 0提问于2019-07-26得票数 20
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
