SFINAESFINAE (англ. substitution failure is not an error, «неудавшаяся подстановка — не ошибка») — правило языка C++, связанное с шаблонами и перегрузкой функций. Широко применяется «не по назначению» — для рефлексии при компиляции: в зависимости от свойств типа компиляция идёт по тому или другому пути. Правило SFINAE гласит: Если не получается рассчитать окончательные типы/значения шаблонных параметров функции, компилятор не выбрасывает ошибку, а ищет другую подходящую перегрузку. Ошибка будет в трёх случаях:
ИсторияПравило существовало ещё в C++98, и было придумано, чтобы программа не выдавала ошибок, если где-то в заголовочных файлах оказался одноимённый шаблон, далёкий от контекста. Но впоследствии оно оказалось удобно для рефлексии при компиляции. Саму аббревиатуру SFINAE придумал Дэвид Вандервурд, автор книги «Шаблоны C++» (2002). В Boost добавили несложный шаблон В стандарте C++11 правило SFINAE было несколько уточнено, концептуально не меняясь. Туда же вошёл и шаблон В C++17 добавили конструкцию В C++20 появилась конструкция Изначальное назначениеПредположим, надо вызвать функцию f(1, 2);
Есть такие версии этой функции: (1) void f(int, std::vector<int>);
(2) void f(int, int);
(3) void f(double, double);
(4) void f(int, int, char, std::string, std::vector<int>);
(5) void f(std::string);
(6) void f(...);
Компилятор собирает эти функции в список и находит лучшую по определённым правилам — производит разрешение перегрузки (англ. overload resolution).
Шаг 2, связанный с шаблонными функциями, пока не задействован. Добавим к нашему списку ещё две функции. (7) template<typename T>
void f(T, T);
(8) template<typename T>
void f(T, typename T::iterator);
Функция 7 будет отброшена на четвёртом шаге, потому что нешаблонная функция всегда «сильнее» шаблонной. Шаблон 8 далёк от нашей задачи, так как рассчитан на некий класс, имеющий внутри тип Пример рефлексии при компиляции через SFINAEЭтот пример компилируется даже на C++03. #include <iostream>
#include <vector>
#include <set>
template<typename T>
class DetectFind
{
struct Fallback { int find; }; // add member name "find"
struct Derived : T, Fallback { };
template<typename U, U> struct Check;
typedef char Yes[1]; // typedef for an array of size one.
typedef char No[2]; // typedef for an array of size two.
template<typename U>
static No& func(Check<int Fallback::*, &U::find> *);
template<typename U>
static Yes& func(...);
public:
typedef DetectFind type;
enum { value = sizeof(func<Derived>(0)) == sizeof(Yes) };
};
int main()
{
std::cout << DetectFind<std::vector<int> >::value << ' '
<< DetectFind<std::set<int> >::value << std::endl;
return 0;
}
Принцип действия: в строке Она подставится, если шаблонный тип ПримечанияСсылки
На русском
|
Portal di Ensiklopedia Dunia