constexpr上下文中std::initializer_list的验证
在C++中，constexpr是一个关键字，用于指示编译器在编译时计算表达式的值。它可以用于声明常量、函数和构造函数，并且在编译时求值的表达式必须是常量表达式。
std::initializer_list是C++11引入的一种容器，用于初始化同类型的元素列表。它提供了一种方便的方式来初始化数组、容器和其他支持初始化列表的对象。
在constexpr上下文中使用std::initializer_list时，需要注意以下几点：
- constexpr函数可以接受std::initializer_list作为参数，但是在constexpr函数中，std::initializer_list的大小必须是编译时确定的，否则会导致编译错误。
- 在constexpr上下文中，可以使用std::initializer_list来初始化constexpr变量。例如：
- 在constexpr上下文中，可以使用std::initializer_list来初始化constexpr变量。例如：
- 在constexpr函数中，可以使用std::initializer_list来进行编译时的循环迭代。例如：
- 在constexpr函数中，可以使用std::initializer_list来进行编译时的循环迭代。例如：
- 这样的函数可以在编译时计算出列表中所有元素的和。
- 在constexpr上下文中，std::initializer_list可以用于进行编译时的条件判断。例如：
- 在constexpr上下文中，std::initializer_list可以用于进行编译时的条件判断。例如：
- 这样的函数可以在编译时判断列表中是否包含指定的值。
总结起来，constexpr上下文中std::initializer_list的验证是指在编译时使用std::initializer_list进行常量表达式的初始化、循环迭代和条件判断。它提供了一种方便的方式来在编译时处理同类型的元素列表。在腾讯云的相关产品中，可以使用C++编程语言进行开发，但是具体的产品和介绍链接地址需要根据实际需求来选择。
相关·内容
1回答
此代码用于编译较早的g++版本，例如5.3。使用10.2，我得到了以下结果(使用编译器选项-std=c++11) tmp1.cpp: In function ΓÇÿint main(int, char**)ΓÇÖ:
tmp1.cpp:17:117: error: modification of ΓÇÿ<temporary>ΓÇÖ is not a constant expression
17 | static constexpr std::initializer_list<std::pair<int, std::initializer_list<int&g
浏览 26提问于2020-11-24得票数 3
最初的问题是我想在模板的非类型参数中使用const char*或char []。当然现在还不支持。所以我想写一些代码把char[]转换成std::integer_sequence。但我发现了一个严重的问题。 #include<utility>
template<typename T, std::size_t n>
constexpr auto f3(T (&a)[n])
{
return std::integer_sequence<T,a[0]>(); //simplified, it should be <T, a[i],...&g
浏览 19提问于2021-03-19得票数 1
回答已采纳
size()成员函数std::initializer_list和std::array具有相同的签名：
constexpr size_type size() const noexcept;
两者都是constexpr。但是，std::array::size()可以在constexpr上下文中使用，但是std::initializer_list::size()不能：
std::initializer_list<int> il{1, 2, 3, 4};
constexpr std::size_t il_size = il.size(); // (1) - fails with
浏览 3提问于2019-11-26得票数 3
回答已采纳
3回答
//parameter pack sum example
constexpr int sum(int N= 0)
{
return N;
}
template<typename ...Args>
constexpr int sum(int first, int second, Args ...N)
{
return first + second + sum(N...);
}
int main()
{
std::cout << sum<int>(1,6,3);
}
用std::initializer_list<int>可
浏览 58提问于2020-02-27得票数 1
我在写C++的ndarray课程。我需要动态大小和编译时大小已知的数组(分别分配空闲存储和堆栈分配)。我想支持从嵌套std::initializer_list初始化。
动态大小的一个是可以的:这是完美的工作。
frozenca::Array<float, 2> arr {{1, 2, 3}, {4, 5, 6}};
std::cout << arr.size() << '\n'; // 6
std::cout << arr[{1, 1}] << '\n'; // 5
静态大小的也
浏览 2提问于2021-11-14得票数 3
回答已采纳
所以我弄了一些代码然后我决定我想要一些字符串的列表.于是我想--我不想知道该使用什么类型等等，所以我就把它放入一个自动变量中，就像这样：
static auto constexpr t = {"red", "black", "green"};
以及编译的代码。太好了，既然这样：
static auto constexpr str = "green";
派生到一个char[]，我假设{“红色”、“黑色”、“绿色”}可能是*char[]或类似的，因此我可以写：
std::cout << "value 1 is: &
浏览 0提问于2018-09-27得票数 0
回答已采纳
我想要创建一个函数指针并在构造函数中初始化它。
如果type_为Min，则查找任何输入的最小值。
如果type_是最大的，那么找出任何输入的最大值。
我写下了以下代码，但它不会在VS 2014中编译，C++编译器版本是MSVC 19.0.23506.0。
uint32_t (*compare) (std::initializer_list<const uint32_t> init_list);
if (Min == type_) {
compare = std::min<std::initializer_list<const uint32_t>>;
}
浏览 2提问于2016-03-07得票数 0
回答已采纳
多维初始化器可以通过嵌套大括号括起来的列表来创建，就像在{{1,2,3}, {4,5,6}}中一样。可以使用嵌套的std::initializer_list来编写接受此操作的函数。
数据元素是否保证是连续的？
下面是一个例子：
void f(std::initializer_list<std::initializer_list<int>> a)
{
for(auto const & p: a)
for(auto const & q: p)
std::cout << &q << std::endl;
浏览 5提问于2014-01-04得票数 6
回答已采纳
1回答
我需要在C数组或std::array上使用一个具有额外构造函数(类似于std::vector构造函数)的常设包装器：
template<class T, int N>
struct wrapper {
T data[N];
constexpr wrapper(int s); // a
constexpr wrapper(int j, int k); // b
constexpr wrapper(...values...) // c
: data(...values...) {}
};
我试图获得与std::vector构造函数相同的行
浏览 0提问于2014-10-10得票数 2
回答已采纳
在下面的示例中，最后一行失败，因为JSON的转换运算符必须在两种可能性之间进行选择：
std::vector<int>::operator=(std::vector<int>&&)
std::vector<int>::operator=(std::initializer_list<int>)
如何约束JSON::operator T()，使其忽略initializer_list重载？
struct JSON
{
using StorageType = std::variant<
int
浏览 14提问于2022-04-20得票数 7
回答已采纳
我一直在研究initializer_list是如何实现的，所以我找到了该标准的18.9节，并找到了一个看起来足够简单的接口。我认为制作我自己的版本(我将其命名为MyNamespace::InitializerList )和一个用例会很有启发性：
template<class T>
class ArrayPrinter
{
public:
ArrayPrinter(MyNamespace::InitializerList<T> list)
{
for (auto i : list) cout << i << endl
浏览 30提问于2013-08-11得票数 24
回答已采纳
c_NEXT在class AskBase中定义
struct Status {
static auto constexpr c_ROOT {-999};
static auto constexpr c_PREVIOUS {-1};
static auto constexpr c_NEXT {1};
static auto constexpr c_EOF {999};
};
后来的c_NEXT在template<typename Container> class AskUI中使用
auto run(){
浏览 1提问于2015-02-21得票数 0
回答已采纳
我需要在查找库中设置大量的std::vector。它们都有这样的结构：
{N, N, ..., -N, -N}
我可以通过一些模板化的功能来做到这一点：
template<int N>
static constexpr std::initializer_list<int> H2 = {N, -N};
template<int N>
static constexpr std::initializer_list<int> H4 = {N, N, -N -N};
...
我可以简单地这样做：
std::vector<int> v22 = H
浏览 1提问于2018-09-28得票数 0
回答已采纳
3回答
我给打字员下了这样的定义：
template <typename ... Types> struct typelist {};
using my_list = typelist<int, double, bool, float>;
现在我有了一个函数模板。
template<typename T>
void foo() {
std::cout << typeid(T).name() << std::endl;
}
想要对打字员的每一种类型都这样称呼：
foo<int>();
foo<double>()
浏览 6提问于2020-08-26得票数 2
回答已采纳
除非我将compile放在initializer_list前面，否则以下内容不会编译：
constexpr std::initializer_list<int> il = {
1, 2, 3, 4, 5, 6, 7, 8, 9, 10
};
std::array<int, il.size()> a;
但是initializer_list的大小是不变的：
constexpr size_type size() const;
浏览 0提问于2013-11-27得票数 14
回答已采纳
我是c++的新手，现在接触到了constexpr。如我所知，constexpr函数是在编译时评估的。这是我的源代码：
constexpr int sum(float a, int b)
{
return a + b;
};
int main(int argc, char *argv[])
{
std::cout << sum(1, 2) << std::endl;
}
它是一个简单的函数，它只是与整数相加。问题是，当我在return a + b上设置断点并开始调试时，会命中断点，这意味着该函数在编译时没有得到评估。但当我将主要功能改为：
int mai
浏览 0提问于2019-04-26得票数 7
回答已采纳
我试图编写一个编译时值数组，它可以像这样使用：
constexpr array<double> a = { 1.0, 2.1, 3.2, 4.3, 5.4, 6.5 };
static_assert(a[0] == 1.0, "");
static_assert(a[3] == 4.3, "");
static_assert(a.size() == 6, "");
我成功地用以下实现实现了它，它运行得很好( GCC 4.7)：
#include <initializer_list>
template<typen
浏览 3提问于2013-04-10得票数 7
回答已采纳
我试图重载std::initializer_list的操作符，但以下内容既没有编译GCC 4.7.2中的内容，也没有编译Clang3.2中的内容：
#include <initializer_list>
void operator+(const std::initializer_list<int>&, const std::initializer_list<int>&);
int main() {
{1, 2} + {3, 4};
}
13.5/6规定，操作符函数至少应有一个参数，其类型为类、枚举或引用，标准将initializer
浏览 0提问于2013-01-16得票数 10
回答已采纳
我不明白为什么这样做很好：
std::array<double, 2> someArray = {0,1};
std::shared_ptr<MyClass> myobj = std::make_shared<MyClass>(someArray);
但这是行不通的：
std::shared_ptr<MyClass> myobj = std::make_shared<MyClass>({0,1});
编译器说：
too many arguments to function ‘std::shared_ptr< _Tp> st
浏览 4提问于2019-09-27得票数 3
回答已采纳
在以下代码中(在本地和Wandbox上测试)：
#include <iostream>
enum Types
{
A, B, C, D
};
void print(std::initializer_list<Types> types)
{
for (auto type : types)
{
std::cout << type << std::endl;
}
}
int main()
{
constexpr auto const group1 = { A, D };
print(
浏览 1提问于2019-01-17得票数 19
我正在试验std::max。我正在尝试传递具有统一初始化(花括号)的整数常量表达式，以将它们与浮点变量进行比较。 实验a)：使用double/int混合调用std::max() double a = 3.0;
int b = 5;
auto res = std::max(a, b); 不编译。Clang报告error: no matching function for call to 'max'。这当然是可以的。 实验b)：使用大括号+常量表达式int进行非行数转换 double a = 3.0;
constexpr int b = 5
浏览 31提问于2020-04-12得票数 5
回答已采纳
2回答
使用参数时的运算符重载问题
、、、、
我正在创建一个继承于std::array的简单类。要点是，如果下标运算符用于越界索引，则应该抛出编译时错误。然而，我总是收到一条错误消息。这是简化的代码。
#include <array>
using namespace std;
template<typename type, size_t size>
struct container : array<type,size>
{
constexpr inline type& operator[](int index) const
{
static_assert(in
浏览 0提问于2018-08-15得票数 2
回答已采纳
我试图理解为什么编译器在这里抱怨：
// cexpr_test.cpp
#include <initializer_list>
constexpr int test_cexpr(std::initializer_list<const char*> x)
{
return (int) (*x.begin())[0]; // ensuring the value isn't optimized out.
}
int main()
{
constexpr int r1 = test_cexpr({ "why does this work,&
浏览 4提问于2019-12-31得票数 6
回答已采纳
我试图在编译时确定std::initializer_list中的所有值是否都是唯一的。我能够找到列表中的的解决方案，但无法将其应用于内容。我尝试了自由函数和构造函数，但这两种方法都导致了GCC 4.7.2的错误。
错误:静态断言的非常数条件
错误：“开始”不是一个常量表达式
我意识到std::initializer_list的成员没有被声明为constexpr，但我希望有一个类似于大小验证的解决方案。是否可以在编译时使用以下内容来验证内容？
#include <initializer_list>
template<typename InputIterator>
浏览 4提问于2013-05-25得票数 8
回答已采纳
2回答
从C++模板参数包编译时间数组
、、、、
我如何在编译时从模板参数包创建一个std：：数组？
这显示了我需要什么，但没有参数包。
template<typename T1, typename T2, typename T3>
struct ToInfoArray
{
static constexpr std::array<Info, 3> value = { { T1::info, T2::info, T3::info } };
};
奖金问题：您会使用std::array、array[]或std::initializer_list作为InfoArray的类型吗？
浏览 1提问于2015-09-23得票数 9
回答已采纳
2回答
关于常量表达式的混淆
、、、、
这是对的某种跟进，并涉及其中的一小部分。与前面的主题一样，让我们考虑我们的编译器具有用于std::initializer_list和std::array的std::array函数。现在，让我们直截了当地讲重点。
#include <array>
#include <initializer_list>
int main()
{
constexpr std::array<int, 3> a = {{ 1, 2, 3 }};
constexpr int a0 = a[0];
constexpr int a1 = a[1];
co
浏览 3提问于2013-04-17得票数 15
2回答
我已经用模板元编程快速编写了一个reduce函数。我知道它不是完美的，我应该检查类型是否兼容，返回类型...
#include <iostream>
#include <functional>
template <typename Functor, typename T>
T reduce(Functor f, T v) {
return v;
}
template<typename Functor, typename T1, typename... Ts>
T1 reduce(Functor f, T1 t1, Ts... ts) {
浏览 8提问于2016-03-18得票数 1
以下代码：
#include <iostream>
#include <vector>
#include <string>
void fun(const std::vector<long long> &x) {
std::cout << "long long" << std::endl;
}
void fun(const std::vector<std::string> &s) {
std::cout << "string" <<
浏览 13提问于2022-09-25得票数 -1
1回答
我想编写一个函数，它可以与一个参数一起使用，否则它可能直接发生在基于范围的循环中：
template <typename Iterable>
void sayIt(const Iterable& stuff) {
for (const auto& e : stuff) {
cout << e << endl;
}
}
这适用于stl容器和其他类型，但不适用于带括号的初始化器：
std::vector<std::string> baz(2, "sorry");
sayIt(baz);
浏览 4提问于2020-08-14得票数 6
回答已采纳
问题是-为什么这样的代码在cpp中是非法的？ static_assert(std::declval>().size() == 4); 这是标准上的疏忽，还是有更深层次的原因std::declval不是constexpr?
浏览 31提问于2021-02-26得票数 2
回答已采纳
1回答
C++11标准指定了一个类型特征std::alignment_of<T>，它只返回alignof(T)的值。
sizeof操作符有类似的特性吗？我只是漏掉了它，还是在标准中漏掉了它，还是有什么模糊的技术原因没有具体说明呢？
显然，创建这样一个特性是微不足道的，但我无法想象在引入std::alignment_of时它不会被考虑在内。
对于上下文，我有一个自定义类型特征，用于在应用于类型列表时获得单个特征的最大值。
template <template<class> class Trait, typename F, typename... T>
struct t
浏览 4提问于2013-09-26得票数 8
回答已采纳
我有一些类，我希望在编译时由需要某种级别验证的初始化器列表进行初始化。
我首先尝试了static_assert，但无法编译，错误为“静态断言的非常数条件”。
什么是导致构建错误的最好方法？
class foo {
public:
constexpr foo(std::initializer_list<bar> items) {
for(auto &&i: items) {
if(i == 12) // example validation logic
// fail the build
浏览 9提问于2020-02-21得票数 1
回答已采纳
以下是问题所在：
int main()
{
constexpr std::initializer_list<int> my_ints {1, 2, 3};
}
我正在尝试用g++ (x8664-posix-seh-rev0，版本8.1.0)编译上面的代码。但VS Code会引发以下警告：
“表达式必须具有常量值--指向具有有限生存期的临时引用或指针”
当我删除constexpr说明符时，即当我将代码修改为
int main()
{
std::initializer_list<int> my_ints {1, 2, 3};
}
错误消失了，所以声明一个
浏览 0提问于2020-09-27得票数 1
2回答
我有一些通用代码想知道它什么时候被传递了一个对象序列，这些对象的数量在编译时就知道了，这样它就可以选择另一个算法策略。为此，我尝试编写一个has_constexpr_size(T) constexpr函数，如下所示，它试图探测T的size()成员函数，以查看它是否可以作为size()函数执行。
注意，这里有一个关键的区别，它与通常的“我能检测出一个警察执行上下文吗？”问题是，像array<T>这样的STL容器总是提供一个constexpr可用的size()函数，而其他STL容器(比如initializer_list<T> )只在初始化程序列表本身是constexpr (
浏览 6提问于2016-06-05得票数 7
我知道指向数组的指针及其大小。从它可以创建什么容器？我试过这样做：
std::initializer_list<int> foo(arr, arr + size);
它适用于MSVC，但不适用于gcc。
浏览 0提问于2019-10-22得票数 2
回答已采纳
1回答
设置等于{}的向量；
、、、、
下面的代码总是有效的还是编译器/平台相关的？显然，我可以使用值构造函数初始化edges，但是我很好奇，当edges初始化为0，然后设置为大括号的r值时，复制赋值operator=在这里是否有效。
它能在我的macbook上工作。
std::vector<std::vector<int>> edges;
edges = {{1,2,3},{4},{5,6}};
浏览 2提问于2020-02-08得票数 4
回答已采纳
我不能在函数中使用constexpr值，而不是函数的外部。
我可以在定义auto ar1 = std::array<int, il.size()>();的作用域中使用il。
但是我不能在{ return std::array<T, il.size()>();}中使用constexpr-function il_to_array()
为什么我不能在函数中使用constexpr值，但是我可以在这个值的块范围内这样做？
#include <iostream>
#include <initializer_list>
#include &l
浏览 0提问于2016-08-13得票数 9
回答已采纳
1回答
如何返回3个值之间的最大值？
、、、、
我试图使用 max 函数返回最大值，但它不适用于3个值。
CodeBlocks错误：
错误：“__comp”不能用作函数
“守则”：
#include <iostream>
using namespace std;
int main()
{
cout << max(5, 10, 20);
}
浏览 3提问于2020-05-08得票数 5
回答已采纳
考虑以下几类：
class Base {
public:
Base(const std::initializer_list<const char*>& words)
: words_(words) {}
std::initializer_list<const char*> words_;
};
class Derived_OK : public Base
{
public:
Derived_OK()
: Base({ "dog", "car", "time"
浏览 0提问于2021-10-01得票数 2
回答已采纳
请考虑以下代码。在这里，如果我们在一个未命名的带有显式std::begin的initializer_list上使用std::，它就能正常工作。如果我们省略了std::并在命名的initializer_list上使用begin，那么它也可以正常工作。但是，如果我们省略了std::并做其他类似于第一种情况的操作，那么它就无法编译。
#include <iostream>
#include <iterator>
void func(int len, const int* x)
{
for(int i=0;i<len;++i)
std::cout
浏览 0提问于2019-06-21得票数 3
回答已采纳
1回答
我似乎无法工作的功能：
void Add(const Event &event, T callback) noexcept
{
if constexpr (event == Event::Type1)
{
m_type1callbacks.push_back(callback);
}
else if constexpr (event == Event::Type2)
{
m_type2Callbacks.push_back(callback);
浏览 0提问于2020-05-25得票数 2
回答已采纳
1回答
全局变量的一个问题是跨翻译单元的初始化顺序没有定义，我们有一些避免全局变量的实践。但我仍然想了解跨翻译单元的全局变量的初始化顺序，只是为了教育目的。
假设我们有这样的代码：
action_type.h
struct ActionType {
static const ActionType addShard; // struct static variables
}
action_type.cpp
ActionType ActionType::addShard(addShardValue);
action_set.h
ActionSet(ActionType s);
my.cpp：
浏览 0提问于2018-12-18得票数 0
回答已采纳
我想编写如下代码：
using int_list_t = std::initializer_list<int>;
struct ThreeDimensionalBox {
static constexpr int_list_t kDims = {1, 2, 3};
};
struct FourDimensionalBox {
static constexpr int_list_t kDims = {4, 5, 6, 7};
};
template<typename Box1, typename Box2>
struct CombinedBox {
st
浏览 9提问于2022-11-15得票数 0
回答已采纳
为什么C++编译器可以将一个函数声明为constexpr，而这个函数不能是constexpr呢？
例如：
#include <iostream>
#include <functional>
#include <numeric>
#include <initializer_list>
template<typename Functor, typename T, size_t N>
T constexpr reduce(Functor f, T(&arr)[N]) {
return std::accumulate(std::
浏览 5提问于2016-08-09得票数 4
回答已采纳
1回答
例如，我得到了以下代码：
constexpr static std::size_t ConstexprFunction(const int value) {
return value;
}
static constexpr std::size_t CallConstexptrFunction(const int value) {
constexpr std::size_t v = ConstexprFunction(value);
return v;
}
int main() {
constexpr int test = 42;
CallConstexptrFuncti
浏览 2提问于2020-09-09得票数 1
我正在c++17中实现一个类，它需要能够在编译时使用constexpr构造函数构造一个对象。对象有一个数组成员，我似乎无法通过参数进行初始化。
我一直在尝试使用std::initializer_list来实现这个目标，类似于：
#include <cstdint>
#include <initializer_list>
struct A {
char data[100];
constexpr A(std::initializer_list<char> s): data(s) {}
};
int main() {
constexpr A a{&#
浏览 4提问于2020-06-11得票数 1
回答已采纳
为什么不允许在static_assert中使用std::initializer_list<_E>::size，即使它在我的libstdc++ (v4.6)中被声明为constexpr？
例如，以下代码：
template<class T, int Length>
class Point
{
public:
Point(std::initializer_list<T> init)
{
static_assert(init.size() == Length, "Wrong number of dimensions"
浏览 1提问于2011-03-26得票数 36
回答已采纳
使用以下两个函数，它倾向于在编译时获得字符串文本的长度。第一种方法不会编译，尽管示例没有意义，但是实际上需要使用中的字符串长度作为编译时常量，我如何做到这一点呢？
// compile failed with "expression did not evaluate to a constant" in vs2019 std=latest
// failure was caused by a read of a variable outside its lifetime
// see usage of 's'
constexpr auto getlen(const
浏览 4提问于2020-10-21得票数 2
我的问题是，为什么下面的代码只为函数生成警告，而不是为模板生成警告？
我理解警告的含义，以及如何消除警告。我不明白的是，为什么编译器不为下面的constexpr成员、ToDouble和ToSquare生成struct Test警告？
#include <iostream>
template <typename T, T value>
struct Test {
static constexpr double ToDouble = value;
static constexpr T ToSquare = value * value;
};
template
浏览 1提问于2018-09-29得票数 2
回答已采纳
2回答
将字符串存储在结构中。
、、、
是否可以将字符串存储在constexpr结构中：
到目前为止，我只能想出：
struct A
{
constexpr A(std::string_view n): m_name(n) {}
constexpr auto name(){ return m_name; }
std::string_view m_name; // This might become dangling!!
}
如果这个类是，只有像这样使用的，那么cleary是个好主意。
A a = {"Hello"};
constexpr A b = {"World"}
浏览 5提问于2019-12-31得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
