--- title: integral_constant description: "| 产品 | 是否支持 |" url: https://www.hiascend.com/document/detail/zh/canncommercial/latest/API/ascendcopapi/atlasascendc_api_07_10198.html sourcePath: /source/zh/canncommercial/900/API/ascendcopapi/atlasascendc_api_07_10198.html indexId: 0bc7acf5257a5a3e79d02613697845a065ce382e181288518217f71500808b7f77 --- # integral_constant #### 产品支持情况 | 产品 | 是否支持 | | --- | --- | | Atlas 350 加速卡 | √ | | Atlas A3 训练系列产品 / Atlas A3 推理系列产品 | √ | | Atlas A2 训练系列产品 / Atlas A2 推理系列产品 | √ | | Atlas 200I/500 A2 推理产品 | x | | Atlas 推理系列产品 AI Core | x | | Atlas 推理系列产品 Vector Core | x | | Atlas 训练系列产品 | x | #### 功能说明 integral_constant是一个带有模板参数的结构体，定义在头文件中，用于封装一个编译时常量整数值，是标准库中许多类型特性和编译时计算的基础组件。 integral_constant的功能如下： 1. 封装编译时常量，将一个int或bool类型的值封装为特定类型，以便该值可以在编译时被操作和传递。 2. 类型标识，每个不同的integral_constant实例都是唯一的类型，可用于模板特化或重载决议。 3. 隐式转换时支持转换为其封装的值类型，便于在需要该值的上下文中直接使用。 4. 函数调用运算符允许像调用函数一样调用实例，以获取其值。 integral_constant提供了多个常用的特化版本，具体如下： - Std::true_type：integral_constant的别名。 - Std::false_type：integral_constant的别名。 - 数值常量：如Std::integral_constant。 - 数值常量的简化写法，Std::Int，数值类型为size_t：如Std::Int<42>。 #### 函数原型 ``` template struct integral_constant { static constexpr const Tp value = v; using value_type = Tp; using type = integral_constant; inline constexpr operator value_type() const noexcept; inline constexpr value_type operator()() const noexcept; }; template using Int = integral_constant; ``` #### 参数说明 **表1 模板参数说明** | 参数名 | 含义 | | --- | --- | | Tp | 数值的数据类型。 | | v | 常量数值。 | #### 约束说明 - Int类型是integral_constant数值结构的别名简写，数值类型必须是size_t类型。 - 模板参数Tp不支持float等浮点数类型，因为模板参数需在编译期确定，而浮点数的精度问题可能导致编译期无法准确表示。 #### 返回值说明 无 #### 调用示例 - 数值类型封装 1 2 3 4 5 6 7 8 9 10 11 12 // 以下示例为基于googletest的UT示例 using IntTrue = AscendC::Std::integral_constant; using IntFalse = AscendC::Std::integral_constant; // 测试 value 静态常量 EXPECT_EQ(IntTrue::value, 1); EXPECT_EQ(IntFalse::value, 0); // 测试()操作符重载 EXPECT_EQ(IntTrue()(), 1); EXPECT_EQ(IntFalse()(), 0); // 测试类型定义 EXPECT_TRUE((AscendC::Std::is_same::value)); EXPECT_TRUE((AscendC::Std::is_same::value)); - 特化类型——bool 1 2 3 4 5 6 7 8 9 10 11 12 13 // 以下示例为基于googletest的UT示例 using TrueType = AscendC::Std::true_type; using FalseType = AscendC::Std::false_type; // 测试 value 静态常量 EXPECT_TRUE(TrueType::value); EXPECT_FALSE(FalseType::value); // 测试()操作符重载 EXPECT_TRUE(TrueType()()); EXPECT_FALSE(FalseType()()); // 测试类型定义 EXPECT_TRUE((AscendC::Std::is_same::value)); EXPECT_TRUE((AscendC::Std::is_same::value)); EXPECT_TRUE((AscendC::Std::is_same::value)); - 特化类型——Int 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 // 以下示例为基于googletest的UT示例 using Zero = AscendC::Std::Int<0>; using One = AscendC::Std::Int<1>; using Large = AscendC::Std::Int<0xFFFFFFFF>; // 验证 value 静态常量 EXPECT_EQ(Zero::value, 0); EXPECT_EQ(One::value, 1); EXPECT_EQ(Large::value, 0xFFFFFFFF); // 验证类型定义 EXPECT_TRUE((AscendC::Std::is_same::value)); EXPECT_TRUE((AscendC::Std::is_same::value)); EXPECT_TRUE((AscendC::Std::is_same>::value)); // 验证()操作符重载 EXPECT_EQ(Zero()(), 0); EXPECT_EQ(One()(), 1); EXPECT_EQ(Large()(), 0xFFFFFFFF); - Int特化类型的运算 1 2 3 4 5 6 7 // 加法 static_assert((AscendC::Std::Int<5>::value + AscendC::Std::Int<3>::value) == 8, "Addition failed"); // 乘法 static_assert((AscendC::Std::Int<4>::value * AscendC::Std::Int<6>::value) == 24, "Multiplication failed"); // 比较 static_assert(AscendC::Std::Int<10>::value > AscendC::Std::Int<5>::value, "Comparison failed"); static_assert(AscendC::Std::Int<7>::value != AscendC::Std::Int<77>::value, "Equality check failed");