使用模板递归的检查类型是否相同

最新推荐文章于 2024-10-02 08:00:00 发布

IAKSH

最新推荐文章于 2024-10-02 08:00:00 发布

阅读量87

点赞数

文章标签： c++ Powered by 金山文档

本文链接：https://blog.csdn.net/qq_41757528/article/details/129786525

版权

这段代码展示了如何使用C++20的Concepts特性，结合constexpr和type_traits在编译时进行类型检查。它定义了一个模板函数`foo`，该函数根据参数类型（必须是int、float或char之一）执行不同的操作。`any_same`函数通过递归检查类型列表中是否存在相同的类型。虽然这种方法可能增加编译时间和二进制大小，但它提供了静态类型检查的额外安全性。

摘要由CSDN通过智能技术生成

0x00 | 代码示例

#include <iostream>
#include <type_traits>
#include <concepts>

template <typename T, typename... Args> constexpr bool any_same()
{
    if constexpr (sizeof...(Args) == 0)
        return false;
    else
        return (std::same_as<std::remove_reference_t<T>, Args> || ...) || any_same<Args...>();
}

template <typename T>
concept myConcept = any_same<T, int, float, char>();

template <myConcept T>
void foo(T t)
{
    using U = std::remove_cvref_t<T>;
    if constexpr (std::is_same<U, int>::value)
        std::cout << "int: " << t << std::endl;
    else if constexpr (std::is_same<U, float>::value)
        std::cout << "float: " << t << std::endl;
    else if constexpr (std::is_same<U, char>::value)
        std::cout << "char: " << t << std::endl;
}

int main()
{
    foo(111);
    foo(2.22f);
    foo('a');

    return 0;
}