[英]Template Function Specialization for Integer Types
假設我有一個模板函數:
template<typename T>
void f(T t)
{
...
}
使用SFINAE
// For all types except integral types:
template<typename T>
typename std::enable_if<!std::is_integral<T>::value>::type f(T t)
{
// ...
}
// For integral types only:
template<typename T>
typename std::enable_if<std::is_integral<T>::value>::type f(T t)
{
// ...
}
請注意,即使是聲明,也將必須包含完整的std::enable_if
返回值。
C ++ 17更新:
// For all types except integral types:
template<typename T>
std::enable_if_t<!std::is_integral_v<T>> f(T t)
{
// ...
}
// For integral types only:
template<typename T>
std::enable_if_t<std::is_integral_v<T>> f(T t)
{
// ...
}
我會使用重載解析。 這使您不必使用總的SFINAE hack。 不幸的是,有很多地方是您無法避免的,但是幸運的是,這並不是其中之一。
template<typename T>
void f(T t)
{
f(t, std::is_integral<T>());
}
template<typename T>
void f(T t, std::true_type)
{
// ...
}
template<typename T>
void f(T t, std::false_type)
{
// ...
}
使用c ++ 11,可以使用std :: enable_if( http://en.cppreference.com/w/cpp/types/enable_if )執行此操作:
template<typename T, class = typename std::enable_if<std::is_integral<T>::value>::type>
void f(T t) {...}
您可以使用可以專門化的幫助程序模板,如下所示:
#include <string>
#include <iostream>
#include <type_traits>
template <typename T, bool = std::is_integral<T>::value>
struct Foo {
static void bar(const T& t) { std::cout << "generic: " << t << "\n"; }
};
template <typename T>
struct Foo<T, true> {
static void bar(const T& t) { std::cout << "integral: " << t << "\n"; }
};
template <typename T>
static void bar(const T& t) {
return Foo<T>::bar(t);
}
int main() {
std::string s = "string";
bar(s);
int i = 42;
bar(i);
return 0;
}
輸出:
generic: string
integral: 42
這是 C++20 解決方案
template<std::integral T>
void f(T v) {
...
}
僅通過在函數體內實現不同的版本,如何以更直接,更易讀的方式呢?
template<typename T>
void DoSomething(T inVal) {
static_assert(std::is_floating_point<T>::value || std::is_integral<T>::value, "Only defined for float or integral types");
if constexpr(std::is_floating_point<T>::value) {
// Do something with a float
} else if constexpr(std::is_integral<T>::value) {
// Do something with an integral
}
}
您不必擔心性能。 條件是編譯時間常數,下降的編譯器將對其進行優化。 不幸的是,“ if constexpr”是c ++ 17,但是當兩種版本的兩種類型的編譯都沒有錯誤時,您可以刪除“ constexpr”
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.