C/C++ 泛型模板约束

C/C++ 作为 C# 语言的前置版本，ECMA工业化编程语言，自然是存在 “泛型模板约束” 的功能的，只是本文不以 C/C++ 20 新语法搞出来的 “requires” 关键字来实现，它很难用。

CPP参考：（新标准）

Constraints and concepts (since C++20) - cppreference.com

模板对于类型的约束：

约束 template_get_size 泛型T只允许接受类型：list，其实为 C/C++ 泛型模板例化特性，但与泛型模板例化略微有些区别，因为是带泛型类型约束条件的特例化。

template<typename T>
class list {
public:
    int count = 0;
};
 
template<typename T>
struct template_get_size;
 
template<typename T>
struct template_get_size > {
    inline std::size_t size(list& v) {
        return v.count;
    }
};
 
int main(int argc, const char* argv[]) noexcept {
    list<int> list_;
    list_.count = 100;
 
    template_get_sizeint> > list_get_size_;
    printf("%d\n", list_get_size_.size(list_));
    return 0;
}

但，template_get_size 仍然可以尝试编译，从语法层面没有问题，但会编译失败，原因：C/C++ 使用不完整的类型。

人们无法在编译期间来增加更多检查约束的有效性。

例一：

template<typename T>
struct template_get_size {
    static_assert(false, "Type constraints of generic templates are violated.");
};

例二：

template<typename T>
struct template_get_size;
 
template<typename T>
struct template_get_size {
    static_assert(false, "Type constraints of generic templates are violated.");
};

上述适用于泛型模板类/结构体，同理泛型模板函数仍可以增加泛型约束，只是没有办法向模板类型一样可以明确的约束T到底需要是什么类型，这取决于模板函数内部的实现，根代码粘合剂差不多，但不意味着不能精确限制那些T类型。

泛型模板类型例化：

class A {};
class B : public A {};
 
template<typename T>
class say;
 
template<>
class say {};

template<typename T>
void foo(const T* v) {}

template<typename T>
void foo(const T& v) {
    typedef typename std::remove_pointer::type element_type;
 
    element_type* p = NULL;
}

class A {};
class B : public A {};
 
template<typename T>
void foo(const T* v) {
    A* a = const_cast(v);
}
 
int main(int argc, const char* argv[]) noexcept {
    B b;
    foo(&b);
    return 0;
}
'
运行
运行