switch statement case label has only `int` template argument
还没有人认领这个 Issue。
评估
调研方向
首先定位报告中提到的 switch_statement 和 case_statement 入口点,然后使用所述的编译器行为重现示例。跟踪 case 值和 lambda 参数的类型推导过程;当诸如 2147483648 这样的整数 case 值能够被正确表示并匹配,而不是产生“other”,并且为此行为提供回归测试覆盖时,即表示完成。
由索引模型根据 Issue 内容生成。
描述
Before gcc9, if a template argument is an integral value, no compiler error/warning generated when the specified value is bigger than the integral value MAX.
This leads the following runtime issue:
#include <iostream>
#include <boost/lambda/lambda.hpp>
#include <boost/lambda/switch.hpp>
int main() {
using namespace boost;
using namespace boost::lambda;
switch_statement(
_1,
case_statement<2147483648>(std::cout << constant("big")),
default_statement(std::cout << constant("other"))
)(2147483648); // prints 'other'
// static_cast<int>(2147483648) is OK
}
This issue prone working can be eliminated in any following way:
- replace case_statement template argument from
inttouintmax_torintmax_tor any bigger than int. This solves that not onlyintparameters can be accepted in later gcc's and clang too. - switch_statement lambda accepts/casts argument
int. This solves type safety. - some other template magic, where at case statement can be set the acceptable integral type, and switch statement recognizes, and uses
common_typeto casts lambda parameter to that.
- 主要语言
- C++
- 星标
- 20
- 派生
- 42
- PR 合并指标
- 30 天内没有已合并 PR
贡献指南
这个仓库没有索引到贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
boostorg/lambda 的其他 Issue
-
难度 5/5 一周以上 新手友好度 15/100
-
难度 4/5 3-5 天 新手友好度 35/100
相似的 Issue
-
ai_reviewed
难度 2/5 1-3 小时 新手友好度 68/100
ydb-platform/ydb#53869 · 3 条评论 ·
-
bug cert blocker needs triage
难度 2/5 1-3 小时 新手友好度 82/100
project-chip/connectedhomeip#74373 ·
-
upstream update
难度 2/5 1-3 小时 新手友好度 75/100
conan-io/conan-center-index#31035 ·
-
Bug
难度 2/5 1-3 小时 新手友好度 68/100
-
documentation
难度 1/5 1 小时以内 新手友好度 85/100
vllm-project/vllm-ascend#17329 ·