让我们假设有一个这样的课:
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;
}
答案 0 :(得分:13)
如果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;
}
答案 1 :(得分:9)
您可以将S专用于虚空并创建CTAD https://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;
}
指向cppinsights的链接可能有助于了解实例化的内容和位置:https://cppinsights.io/s/8f0f4bf6