为什么std::get<T>其中T是调用constexpr函数失败的结果？ - 腾讯云开发者社区

文章/答案/技术大牛

发布

性能优化利器之constexpr

今天，聊聊在升级过程中的一个比较重要的优化点-编译期优化。概述说明符constexpr是自C++11引入，我相信很多人跟我一样，在第一次接触这个的时候，会很容易和const混淆。...前面提到了constexpr是在编译阶段进行求值，那么也就是说在程序运行之前，就已经计算完成，这种无疑大大提升了程序的运行效率。...} } 这样就能很清楚的知道为什么编译失败了，因为在代码中存在t.value * t.value操作，而对于一个int来说并没有value这个变量，所以编译失败。...，如果是算术类型，则调用第一个，否则调用第二个，完整代码如下： #include templateT> typename std::enable_if函数借助std::enable_if来实现，代码上多少有点冗余，在这个时候，本节的主角if constexpr 出场，完整代码如下： #include

7891 0

数组和C++ std::array详解

，否则编译失败 2.1.2 元素访问 at at用于访问指定的元素，同时进行越界检查，该函数返回位于指定位置pos的元素的引用，如果pos不在容器的范围内，则抛出std::out_of_range异常...同时函数中T 必须符合可相等比较 (EqualityComparable) 的要求 3-6中按照字典比较lhs和rhs的内容，其内部等价于调用std::lexicographical_compare函数进行比较...其内部等价于调用std::lexicographical_compare_three_way 进行比较。返回类型同合成三路比较的结果类型。其逻辑大致如下： lhs (arr) << ")\n"; //输出结果为 (1, 2, 3) std::swap(std::array) std::swap(std::array)函数是为std::array特化std:...打印结果为4 1 5 2 std::to_array std::to_array函数声明如下： templateT, std::size_t N> constexpr std::array

1.5K1 0

您找到你想要的搜索结果了吗？

是的

没有找到

面阿里 P7，竟问这么简单的题目？

例如 if constexpr std::is_same_v （先别走看，不同特性，有着同样原理）更多阅读 CppCon 2014 1.2 为什么能带来这样收益，第一性原理或者核心实现原理是什么...具备内部实现先不考虑 is_same_v 是 is_sameT, U>::value 的简写： template T, typename U> inline constexpr...编译时条件求值 if constexpr 的条件必须是编译时常量表达式（如 std::is_same_vT, int>）。...if constexpr优势：在编译时丢弃未匹配分支，生成无分支跳转的代码，彻底避免预测失败17。...T, int>) { return std::stoi(s);//如果转换成功的话，stoi函数将会把转换后的得到数字以int类型返回 } else if constexpr (is_same_v

1670 0

C++23中std::optional和std::expected的单子式操作

一种常见的使用情况是作为一个可能失败的函数的返回值。...2.2 std::expectedstd::expectedT, E>是C++23标准库中的新成员，旨在提供一种类型安全的方式来表示可能成功或失败的操作结果。...三、std::optional的单子式操作3.1 transformtransform函数用于对std::optional中的值应用一个函数，并返回一个新的std::optional，其中包含应用函数后的结果...四、std::expected的单子式操作4.1 transformtransform函数用于对std::expected中的值应用一个函数，并返回一个新的std::expected，其中包含应用函数后的结果...如果std::expected包含值，则返回该值；如果包含错误，则调用提供的函数并返回其结果。

4500 0

我常用的C++关键字

::string m_name{""}; }; constexpr 既然已经有了const为什么还要constexpr呢，const保证变量/函数的常量属性，可是constexpr尽可能的保证其常量属性且保证编译期可知...constexpr函数依赖于调用函数的实参，如果函数所有实参在编译期可知，则函数结果在编译期可知，否则与普通函数无异 #include // constexpr变量示例 constexpr...return x * 2; } // 另一个使用模板的constexpr函数示例 templateT> constexpr T add(T a, T b) { return...); // 编译期结果已知，84 // 使用模板的constexpr函数 constexpr int result2 = add(3, 4); // 编译期结果已知，7...std::cout std::endl; // 注意：虽然multiplyByTwo和add是constexpr函数，但你也可以在运行时调用它们

3521 0

C++23中if consteval if not consteval (P1938R3) 详解

consteval 用于声明立即函数，这类函数的调用必须在编译期间完成。如果尝试在运行时调用 consteval 函数，会导致编译错误。...如果是编译时调用，则使用 compile_time_abs 函数；如果是运行时调用，则直接计算绝对值。...如果是编译时调用，则使用 ipow_ct 函数；如果是运行时调用，则使用 std::pow 函数。...例如： template T> constexpr auto get_value() { if constexpr (std::is_integral_vT>) {...与 std::is_constant_evaluated() 的对比 std::is_constant_evaluated() 是C++20引入的库函数，用于检查当前是否处于常量求值上下文。

3161 0

C++17常用新特性(十二)---编译器的if语句

>) { return x; //如果是字符串走到这个分支 } else if constexpr(std::is_arithmetic_vT>) {...失败的原因是什么呢？..."Success"; } else{ return 0; } } 上面这段代码在编译时总是成功的，但是运行时改函数调用每次返回的结果类型是不一样的，如果传入一个...，当实例化代码如下所示时，它的输出结果和预期的是一致的。...可以在任何函数中使用，需要注意的是在普通函数中使用的时候需要保证if语句的各分支语句都是正确的，否则也会导致编译错误。

1.2K3 0

C++ std::optional完全解读

，当调用者忘记bool简单调用maybe_take_an_int(1)时，该函数会默认失败，同样的在读取bool maybe_return_an_int(int &value)中的value值的时候，若忽略返回...= //若 *this 在调用前含值，则通过调用其析构函数销毁所含值，如同用 value().T::~T() 。...若*this含值则返回含有f在所含值上调用结果的 std::optional 。...::optionalT>::or_else函数在 optional 含值时返回自身，否则返回给定函数的结果。...函数返回一些处理结果，该结果无法生成值，但该结果并不是错误。执行资源的延时加载。将可选参数传递到函数中。

1.8K3 1

动态数组和C++ std::vector详解

其中，参数T为容器要存储的元素类型，对于T需要满足：可复制赋值和可复制构造（C++11前）。...以范围 [first, last) 中元素的副本替换内容。其中有任何一个迭代器是指向 *this 中的迭代器时行为未定义。...get_allocator函数的主要作用是返回相关的分配器。...同时函数中T 必须符合可相等比较 (EqualityComparable) 的要求 3-6中按照字典比较lhs和rhs的内容，其内部等价于调用std::lexicographical_compare函数进行比较...其内部等价于调用std::lexicographical_compare_three_way 进行比较。返回类型同合成三路比较的结果类型。其逻辑大致如下： lhs < rhs ?

1.5K1 0

Chapter 3: Moving to Modern C++

::initializer_lists和构造函数重载解析的同时出现时容易造成错误调用在调用构造函数的时候，只要不涉及到std::initializer_list参数，括号和花括号初始化有相同的含义...construction 编译器非常偏向选择std::initializer_list构造函数，以至于即便最匹配的std::initializer_list构造函数不能被调用，编译器也会优先选择它...std::initializer_list构造函数时，此时调用空的花括号初始化，编译器会解析为调用默认构造函数，而要解析成std::initializer_list构造函数，需要在花括号中嵌套一个空的花括号进行初始化...，否则会编译失败，这在C++98中会推迟到链接阶段才会报错删除的函数是pulic而不是private，因为当客户端代码试图使用这个删除的成员函数时，C++会首先检查访问权限，后检查删除状态，如果设为...字面值类型包括除了void修饰的类型和带有constexpr修饰的用户自定义类型(因为构造函数和其他成员函数也可能是constexpr) class Point { public:

2.1K6 0

C++23 中 constexpr 的重要改动

1. constexpr 函数中使用非字面量变量、标号和 goto (P2242R3)在 C++23 之前，constexpr 函数的使用受到较多限制，不能在其中使用非字面量变量、标号和 goto 语句...nonliteral 是一个非字面类型而导致编译失败，尽管导致失败的那一行代码并不在常量求值的上下文中。...如果我们想在 constexpr 函数中调用一段保证在编译时求值的代码，需要将这段代码放在 if consteval 或 if (std::is_constant_evaluated()) 条件下的代码块中...不存在满足核心常量表达式要求的调用的 constexpr 函数 (P2448R2)在 C++23 中，对于那些不存在满足核心常量表达式要求的调用的 constexpr 函数，也有了新的处理方式。...函数的返回类型和形参类型不必为字面类型P2448R2使 constexpr 函数的使用更加灵活，可处理更多类型的数据不存在满足核心常量表达式要求的调用的 constexpr 函数P2448R2对于不满足核心常量表达式要求的调用的

2831 0

C++20新特性个人总结

T>::value; // 对模板类型T添加std::is_arithmeticT>::value为true的约束，并对具有约束的新的类型声明number // 使用具有约束的类型，调用该函数时，T...{ std::is_classT>::value; // T是一个类型 t(); // T类型有重载括号运算符，且是无参的 t.run(); // T类型具有run()成员函数...2.9 ADL与不可见的模板函数 ADL是C++本来就有的机制，用于自动推断调用的函数的位置，从而简化代码的编写。而新特性扩展了ADL机制，可以用于模板函数的推断。 ...; // 输出true return 0; } ②模板参数的成员函数调用因为模板参数是处于编译期计算的，因此，作为调用用于自定义类型的模板参数的成员函数时，这些成员必须是constexpr...，则类的对象必须通过其中一个构造函数进行初始化。

2.4K5 0

C++ 学习笔记

hello"); s1.get(); // "hello" s1.get(); // false } 3.当通过依赖于模板参数的对象通过.调用函数模板时，需要通过 template...b.若表达式结果为 false，根据替换失败并非错误的原则，包含 std::enable_if 的模板将会被忽略。...此时若在函数内部用 T 定义未初始化的变量，会编译失败。...替换过程中可能失败，此时编译器会忽略掉这一替换结果。替换和实例化不同，替换只涉及函数函数模板的参数类型及返回类型，最后编译器选择匹配程度最高的函数模板进行实例化。...ADL( Argument-Dependent Lookup)查找为依赖于参数的查找，是用于函数调用表达式中查找非限定函数名称的规则。

7.7K6 3

C++ 动态新闻推送第49期

; 最后一行，会多出一个逗号，导致调用失败，如何吃掉这个逗号？ gcc拓展 #define BAR(fmt, ...)...使用Boost库实现自动数量的虚函数看个乐，杀鸡用牛刀了属于是 SWAR explained: parsing eight digits 之前也介绍过，就是解析数字字符串的方法...这里不是重点，重点是constexpr 使用尾递归 template std::size_t InstructionCapacity> void execute(const programget(tp) << ", "; std::cout std::get(tp) << ", "; 遍历tuple就是把std::get调用多次，就是生成get的模版参数N template...用小的int并没有啥好处 uint8之类的，并且如果用auto，都会提成成int。循环里用uint8是不如int的。

1.1K1 0

C++反射：深入浅出剖析ponder库实现机制！

= nullptr); Real x = fieldX->get(obj).to(); 对于函数的调用，我们使用的代码： const reflection::Function* overFunc...另外一点是meta function没有像C#那样直接给出Invoke方法，这个是因为目前的实现针对不同使用场合，类型擦除的函数是不同的，比如对于lua，类型擦除的函数原型是lua_CFunction。...Details: 函数的具体信息，如返回值类型，参数表tuple等，都存储在其中。 BoundType: 函数类型。 ExposedType: 返回值类型。...); 对类型T的构造实现，注意内部调用的是前面介绍的makeCopy()静态方法，所以通过这种方式构造的UserObject是生命周期安全的。...（二）函数调用 template <typename...

2.1K2 0

Modern c++快速浅析

因为这是一个拷贝指针的操作，因此保留原指针的不可更改指向性并没有太大的意义 auto 大多数情况下auto推断出来的结果和模板类型推导的结果是一样的，不同点在于对大括号初始物的处理值与指针等推导 const...，但是它们调用的函数可能会抛出异常。...，它的结果就是constexpr的，否则它的运作方式和普通函数无异（编译器不对constexpr做处理） constexpr int pow(int base, int exp) noexcept {...也正因为此当调用Lambda时对该数据的访问是该数据当前的数值 Constexpr Lambda 此功能需要开启_std:c++17_ 显式constexpr auto lambda = [](int...::endl; }; } }; 捕获的是*this时，捕获的类型是const T，即匿名函数体中只能调用到常函数，如果想调用其他成员函数，需要加mutable修饰（修改变量同理，需要使用mutable

9741 0

C++那些事之SFINAE

根据名称找出所有适用的函数和函数模板对于适用的函数模板，要根据实际情况对模板形参进行替换；替换过程中如果发生错误，这个模板会被丢弃在上面两步生成的可行函数集合中，编译器会寻找一个最佳匹配，产生对该函数的调用...一个简单的函数调用，如“f(obj);”在c++中，激活一个机制，根据参数obj来确定应该调用哪个f函数。...您可能还想知道为什么它不能与继承一起使用。C ++中的继承和动态多态性是一个在运行时可用的概念，换句话说，就是编译器将不会拥有且无法猜测的数据！...0的分支，说明obj没有serialize函数，但是却调用了，当然出错了。...不用担心，我们将在c++ 14中使用其中的一些。 5.C++14的优势 5.2 auto与lambda 根据我的XFCE环境右上角的公历，我们是2015年！

2.9K2 0

C++20 Text Formattingfmtlib 适配问题小记

其中 Text Formatting 是一个我个人比较感兴趣的新组件。它主要是解决了之前字符串格式化库 ( printf 系 ) 的效率问题和运行时安全的问题。并且新的格式设置的形式也比较友好。...它的含义是可在编译期求值（注意和 const 关键字区分开来，一个函数和类型申明可以是 consteval 但不是 const 的）。...的调用其实就不再是编译期可以求值的 constexpr 了（因为上层的函数签名没有这个保证）。...) { // 我们会在这里处理额外的调用者信息处理和使用自己的缓冲区 // 然后调用 std::format_to_n(...)...是没问题的，仅仅是 fmt::format_to_n(...) 会报错，为什么呢？我们可以先来回顾一下 fmt::format(...) 的声明: template <typename...

1.7K2 0

浅谈 C++ 元编程

isBadT> 是否为 true。这会导致：两次绑定中，有一次会失败。...一般思路是：提供两类重载 —— 一类接受任意参数，内部递归调用自己；另一类是前者的模板特化或函数重载，直接返回结果，相当于递归终止条件。它们的重载条件可以是表达式或类型。...函数 _Factor 有两个重载：一个是对任意非负整数的，一个是对 0 为参数的。前者利用递归产生结果，后者直接返回结果。...函数 Sum 有两个重载：一个是对没有函数参数的情况，一个是对函数参数个数至少为 1 的情况。和定长模板的迭代类似，这里也是通过递归调用实现参数遍历。...Sum 函数模板，其中一个展开参数包进行递归调用）。

3.9K6 1

C++反射深入浅出 - 1. ponder 反射实现分析总篇

= nullptr); Real x = fieldX->get(obj).to(); 对于函数的调用 , 我们使用的代码: const reflection::Function*...另外一点是meta function没有像C#那样直接给出Invoke方法, 这个是因为目前的实现针对不同使用场合, 类型擦除的函数是不同的, 比如对于lua, 类型擦除的函数原型是 lua_CFunction...的特化实现各类, 详见下文 Details: 函数的具体信息, 如返回值类型, 参数表tuple等, 都存储在其中 BoundType: 函数类型 ExposedType: 返回值类型...UserObject(T* object); 对类型T的构造实现, 注意内部调用的是前面介绍的makeCopy()静态方法, 所以通过这种方式构造的UserObject是生命周期安全的. 5.1.3...7.2 函数调用 template <typename...

1.5K2 0

点击加载更多

性能优化利器之constexpr

数组和C++ std::array详解

面阿里 P7，竟问这么简单的题目？

C++23中std::optional和std::expected的单子式操作

我常用的C++关键字

C++23中if consteval if not consteval (P1938R3) 详解

C++17常用新特性(十二)---编译器的if语句

C++ std::optional完全解读

动态数组和C++ std::vector详解

Chapter 3: Moving to Modern C++

C++23 中 constexpr 的重要改动

C++20新特性个人总结

C++ 学习笔记

C++ 动态新闻推送第49期

C++反射：深入浅出剖析ponder库实现机制！

Modern c++快速浅析

C++那些事之SFINAE

C++20 Text Formattingfmtlib 适配问题小记

浅谈 C++ 元编程

C++反射深入浅出 - 1. ponder 反射实现分析总篇

相关资讯

热门标签

活动推荐

运营活动

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐