enable_if和偏特化

最新推荐文章于 2025-04-10 18:12:29 发布

最后冰吻free

最新推荐文章于 2025-04-10 18:12:29 发布

阅读量249

点赞数

CC 4.0 BY-SA版权

分类专栏： C++ 文章标签： enable_if

本文链接：https://blog.csdn.net/CodeHouse/article/details/125854119

C++ 专栏收录该内容

108 篇文章

订阅专栏

本文探讨了C++中模板技术的应用，通过`ICounter`基类和`Counter`派生类，展示了如何使用`std::is_base_of`和`std::is_integral`进行类型检查，实现针对不同类型的计数器递增操作。实例涵盖了面向对象和数值类型的不同处理方式，并在`doSomething`函数中演示了模板函数`inc_counter`的使用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include <type_traits>
#include <utility>
#include <cstdint>

struct ICounter {};
struct Counter: public ICounter {
    void increase() {
        // impl
    }
};

template <typename T> void inc_counter(
    T& counterObj, 
    typename std::enable_if<
        std::is_base_of<ICounter, T>::value
    >::type* = nullptr ){
    counterObj.increase();  
}

template <typename T> void inc_counter(
    T& counterInt,
    typename std::enable_if<
        std::is_integral<T>::value
    >::type* = nullptr ){
    ++counterInt;
}
  
void doSomething() {
    Counter cntObj;
    uint32_t cntUI32;

    // blah blah blah
    inc_counter(cntObj); // OK!
    inc_counter(cntUI32); // OK!
}

struct Counter {
    void increase() {
        // Implements
    }
};

template <typename T>
void inc_counter(T& intTypeCounter, std::decay_t<decltype(++intTypeCounter)>* = nullptr) {
    ++intTypeCounter;
}

template <typename T>
void inc_counter(T& counterObj, std::decay_t<decltype(counterObj.increase())>* = nullptr) {
    counterObj.increase();
}

void doSomething() {
    Counter cntObj;
    uint32_t cntUI32;

    // blah blah blah
    inc_counter(cntObj);
    inc_counter(cntUI32);
}