是否可以对零模板参数进行模板专门化

Is it possible to make template specialization for zero template arguments?

本文关键字：专门化 参数 是否      更新时间：2023-10-16

假设我有一个这样的类：

template <typename T>
struct S {
int n = 1;
S(T t) : n(t) {};
S() = default;
};

如果我想使用像S s {};这样的默认构造函数，是否可以更改某些内容，以便在没有模板参数的情况下实例化S？

我想出的最好的办法是给模板参数分配一些伪造的默认值，这样它就变成了可选的：

#include <iostream>
struct default_ {};
template <typename T = default_>
struct S {
int n = 1;
S(T t) : n(t) {};
S() = default;
};

int main() {
S<int> s1 {10};
std::cout << "Value:n" << s1.n << std::endl;
S s2 {};
std::cout << "Value:n" << s2.n << std::endl;
}

https://repl.it/repls/RegalCoolDeal

如果T仅用于构造函数，则不需要对整个类进行模板化：

#include <iostream>
struct S {
int n = 1;
template <typename T>
S(T t) : n(t) {};
S() = default;
};
int main() {
S s1 {10};
std::cout << "Value:n" << s1.n << std::endl;
S s2 {};
std::cout << "Value:n" << s2.n << std::endl;
}

您可以将S专门化为void并创建一个CTADhttps://en.cppreference.com/w/cpp/language/class_template_argument_deduction

#include <iostream>
template <typename T>
struct S {
int n = 1;
S(T t) : n(t) {}; // no default
};
template <>
struct S<void> {
int n = 1;
S() = default;  // only default
};
// CTAD calls to constructor S() will instantiate as S<void> 
template<typename... T> S() -> S<void>;   
int main() {
S<int> s1 {10};
std::cout << "Value:n" << s1.n << std::endl;
S s2 {};  // here CTAD will be trigged
std::cout << "Value:n" << s2.n << std::endl;
}

指向cppignotics的链接可能有助于了解实例化的内容和位置：https://cppinsights.io/s/8f0f4bf6

相关文章：