如何static_assert一个初始化器列表是一定大小

文章/答案/技术大牛

发布

0回答

c++、visual-studio-2015、c++14

是否可以验证传递给constexpr构造函数的初始化器列表是否具有一定的大小？或者，这只能在运行时完成吗？这是一个想法，但它不起作用：{ std::initializer_list<std::initializer_list<UINT const> const> groups { static_a

浏览 2提问于2016-12-31得票数 9

回答已采纳

2回答

我在编译时使用初始化器列表初始化std::array，我希望有一种方法来存储元素的数量。std::array::size()会返回整个数组的大小，这不是我要找的。我如何改进下面的代码？非常感谢！; } int main() { static_assert(element_count(a) == 3); } 我正在用g++ (Ubuntu 7.3.0-27ubuntu1~18.04) 7.3.0

浏览 15提问于2019-03-16得票数 1

回答已采纳

5回答

initializer_list::size()上的static_assert

c++、c++11、initializer-list、constexpr

为什么不允许在static_assert中使用std::initializer_list<_E>::size，即使它在我的libstdc++ (v4.6)中被声明为constexpr？template<class T, int Length>{ Point(std::initializer_list<T> init) static_assertE>::size_type = long unsigned int]()’ test.C:54:7

浏览 1提问于2011-03-26得票数 36

回答已采纳

2回答

数组的数据成员在标准库实现中是公共的。为什么？

c++、c++-standard-library

当我到达std::array类类定义的末尾时，我注意到数据成员不是声明为私有的，而且它上面是所有的公共成员函数，因此数据成员也是公开的。因此，为了测试它，我尝试在我用std::array定义的main()对象中访问它，令我惊讶的是，我可以访问它，并且它也在输出中打印了正确的值！

浏览 13提问于2022-08-02得票数 1

回答已采纳

3回答

如何确保枚举和数组在编译时具有相同的条目？

c、arrays、enums、embedded

系统的另一部分要求设置参数，而本地uC需要维护参数列表。每个参数由一个8位ID和一个8位值组成。由于另一端的内存限制，ID在0x70开始。为了保持尽可能低的内存使用率，我将参数存储实现为一个数组，其中包含所有可写参数的In和值。然后，头文件中有这些参数的枚举列表，以允许应用程序的其他部分访问参数。是否有任何方法确保枚举列表和参数数组以相同的顺序具有相同的条目？我已经相当彻底地记录了代码(并不是全部包含在摘录中)，但是我想在编译时进行某种形式的检查，以确保列表和数组匹配。

浏览 2提问于2016-12-09得票数 5

回答已采纳

1回答

初始列表构造和静态断言

c++、initializer-list

我试图让我的类支持初始化程序列表。我得到的地方：错误：“列表”不是常量表达式 template<size_t N> m_last_write(0) push(datum);但是，当我使用这个初始

浏览 2提问于2018-10-08得票数 1

回答已采纳

1回答

用于校验数组的C++常量表达式函数

c++、arrays、constexpr

我们的目标是，当一个额外的元素被附加到前面的元素的末尾时，能够从一个常量初始化器列表创建一个数组。我发现的所有关于在编译时初始化数组的帖子都需要大量复杂的递归模板函数调用，而且都与生成数字序列有关。res.size() - 1] = cs;} static_assert</e

浏览 7提问于2021-04-08得票数 1

回答已采纳

1回答

从一个值和一个大小创建递归函数参数列表

c++、variadic-templates、c++17、fold-expression

我的目的是创建一个大小为n的函数参数列表，这样我就可以将它传递给一个帮助器，该帮助器使用折叠表达式将值递归地相乘在一起。这是我到目前为止想出的方法。template<typename T, typename N> T SmoothStart(const T&

浏览 1提问于2018-02-22得票数 2

回答已采纳

1回答

如何在C中的初始化器中使用static_assert？

c、gcc、macros、static-analysis

信不信由你，我想在宏中使用static_assert，该宏扩展为指定的初始化程序： /* static_assert((N) < 42, "too large"), */ \我想要一个来自INIT(42)的错误，但是取消注释static_assert是<

浏览 2提问于2017-04-27得票数 0

回答已采纳

3回答

检查提供给std::array编译时的元素数量

c++、static-assert、stdarray

我有一个性能关键代码，其中我查询N个索引。如何在不牺牲性能的情况下，使用static_assert检查编译时是否恰好给出了N个索引？#include <array> void test(const std::array<int, N>& indices) // static_assert

浏览 14提问于2019-08-09得票数 2

1回答

如何确认我的constexpr表达式是在编译时实际执行的。

c++、constexpr、functor、compile-time

假设我已经创建了一些函式类，在执行时返回一个值数组。我要在编译时间内进行。functor_g(); // not sure if should be also const/constexpr {} 显然，我不能在这里运行任何计时器，

浏览 2提问于2020-02-23得票数 1

回答已采纳

3回答

static_assert在使用const时失败。常数中的混淆，const，constexpr，const，非const变量

c++、constexpr、c++20、constinit

我有一个关于编译时函数的问题。我理解static_assert应该只与类型一起工作，这些类型可以在编译时进行评估/计算。映射被初始化为非const变量.我知道这是行不通的，它不是常量变量，编译时间也不是initializedMap被初始化为const变量。这也不起作用，即使变量是常量，也不能保证它在编译时被创建。现在，constinit保证表达式是零初始化或常量初始化.我用常数初始化，因此根据这个变量应该在编译时知道(将静态

浏览 4提问于2020-10-01得票数 0

回答已采纳

1回答

模板化类构造函数中的static_assert

c++、arrays、stl、initializer-list

我正在尝试创建一个由std::initializer_list初始化的样本数组类。我想检查初始化列表的大小是否不超过编译时数组的大小。由于静态断言只能计算constexpr，因此不会编译此代码。size]; array() } { static_assert

浏览 80提问于2021-03-17得票数 4

1回答

是使用placement，复制存储，然后访问未定义的值行为吗？

c++、language-lawyer、undefined-behavior、placement-new

让S是一个结构类型，它包含一个字符数组data，它具有最大的对齐方式和固定的大小。其思想是，S能够存储任何T类型的对象，这些对象的大小不超过限制，并且是微不足道的复制、可构造和轻微破坏的对象。template <typename T> static_assert(sizeof(T) <= MaxSize, ""); static_assert(stdvo

浏览 0提问于2018-04-15得票数 7

2回答

如何从std::initializer_list构建类似于数组的数据结构

c++、c++11、initializer-list、stdarray

我希望实现一个具有编译时间常数大小的数据结构(如std::array)。我希望能够像这样初始化这个数据结构：使用像：MyStruct(std::initializer_list<T> elements)这样的构造函数可以很好地工作，但是编译器并不对我的内部结构和elements强制执行相同的大小，即使它们在编译时都是已知的。我不能使用static_assert，因为elements.si

浏览 3提问于2013-07-31得票数 3

回答已采纳

3回答

如何静态地检查变量模板参数列表中是否存在类型T

c++、c++11、variadic-templates、static-assert、service-locator

我正在尝试静态地检查一个类型是否存在于一个可变模板参数列表中。但是，此模板列表实际上存在于传递单个类型的类中。答案展示了如何检查参数列表或参数包，但我不确定如何测试包含各种模板的类。class ServiceLocatorpublic: T& Resolve() static_assertcheck_t_exists_

浏览 2提问于2013-10-17得票数 2

回答已采纳

5回答

如何将static_assert与尺寸和张力相结合？

c++、visual-studio-2010、c++11、stringify、static-assert

因此，我有特定的断言，即在编译时检查内存大小，并给出一个static_assert，如果大小与我们以前认为正确的大小不同。我定义了这样一个宏：这个宏使得编写以下内容变得非常容易：CHECKMEM(Library,80); 问题

浏览 4提问于2012-07-17得票数 23

回答已采纳

3回答

构造函数的初始值设定项列表前的static_assert

c++、static-assert

有一个非模板化的类，它有一个模板化的构造函数。在初始化这样的构造函数中的成员变量之前，是否可以检查静态断言？ template<typename T> : m_value(t.value()) static_assert(HasValueMethod<T>::value, "T must have

浏览 13提问于2017-11-26得票数 8

1回答

constexpr上下文中std::initializer_list的验证

c++、c++17、constexpr、initializer-list

我有一些类，我希望在编译时由需要某种级别验证的初始化器列表进行初始化。什么是导致构建错误的最好方法？

浏览 9提问于2020-02-21得票数 1

回答已采纳

3回答

是否有一种方法可以强制执行std::array的完全初始化

arrays、c++11、initialization、stdarray

我使用的是std::array<size_t, N> (N是一个固定的模板变量)。问题是，其他代码被默许为：也就是说，即使有遗漏的元素，array也是以某种方式被初始化的，即使它定义得很好(例如，剩余的元素初始化为零，我不确定)是否有一种方法来强制额外元素的初始化？，例如通过生成编译器错误或警告。我考虑过的一个选择是使用initializer_lis

浏览 4提问于2015-10-07得票数 11

回答已采纳

点击加载更多