C++SFINAE技术详解

C++SFINAE技术详解

SFINAE（Substitution Failure Is Not An Error）是C++模板元编程的核心技术，允许在模板实例化失败时不产生编译错误，而是尝试其他重载。

SFINAE的基本原理是模板替换失败不是错误。

#include
#include

template
typename std::enable_if::value, T>::type
process(T value) {
std::cout << "Processing integer: " << value << "\n";
return value * 2;
}

template
typename std::enable_if::value, T>::type
process(T value) {
std::cout << "Processing float: " << value << "\n";
return value * 1.5;
}

void sfinae_basic() {
process(42);
process(3.14);
}

enable_if根据条件启用或禁用模板。

template
typename std::enable_if::value>::type
print(T ptr) {
std::cout << "Pointer: " << *ptr << "\n";
}

template
typename std::enable_if::value>::type
print(T value) {
std::cout << "Value: " << value << "\n";
}

void enable_if_example() {
int x = 42;
print(x);
print(&x);
}

SFINAE可以检测类型是否有特定成员。

template
class has_size {
template
static auto test(int) -> decltype(std::declval().size(), std::true_type{});

template
static std::false_type test(...);

public:
static constexpr bool value = decltype(test(0))::value;
};

void member_detection() {
std::cout << "vector has size: " << has_size>::value << "\n";
std::cout << "int has size: " << has_size::value << "\n";
}

返回类型SFINAE控制函数的可用性。

template
auto get_value(T& container) -> decltype(container[0]) {
return container[0];
}

void return_type_sfinae() {
std::vector vec = {1, 2, 3};
std::cout << "First element: " << get_value(vec) << "\n";
}

表达式SFINAE检测表达式的有效性。

template
auto add(T a, U b) -> decltype(a + b) {
return a + b;
}

void expression_sfinae() {
std::cout << "Int + double: " << add(10, 3.14) << "\n";
}

SFINAE可以实现类型特征。

template
struct is_container {
template
static auto test(int) -> decltype(
std::declval().begin(),
std::declval().end(),
std::true_type{}
);

template
static std::false_type test(...);

static constexpr bool value = decltype(test(0))::value;
};

C++17的if constexpr简化了某些SFINAE用例。

template
auto process_v2(T value) {
if constexpr (std::is_integral_v) {
return value * 2;
} else if constexpr (std::is_floating_point_v) {
return value * 1.5;
} else {
return value;
}
}

SFINAE是模板元编程的基础技术，理解它对于编写高级泛型代码至关重要。