Sfinae и иже с ним

@tapochka · Регистрация: 25.04.2014

Студворк — интернет-сервис помощи студентам

здравствуйте, дабы лучше разобраться с шаблонами решил сделать функцию, печатающую все элементы либо контейнера, либо массива. чтобы основательно разобраться решил сделать без std::enable_if:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
#ifndef ENABLEIF
#define ENABLEIF
 
#include <algorithm>
 
//проверяем является ли тип С контейнером
template<typename C>
class is_container {
public:
    template<typename T>
    static bool is_cont(typename T::iterator* it) {
        return true;
    }
    template<typename T>
    static bool is_cont(...) {
        return false;
    }
    static bool value;
};
 
template<typename T>
bool is_container<T>::value = is_container<T>::is_cont<T>(0);   //ноль здесь т.к. указатель может быть нулем
 
template< bool Condition , typename C>
class PrintMsg {
public:
    static void print(C value){
        std::for_each(value.begin(), value.end(), [](typename C::value_type cc)->void {std::cout<<cc<<std::endl;});
    }
};
 
template<typename C>
class PrintMsg< false , C> {
public:
    static void print(C value){
        for(C cc: value)
            std::cout<<cc<<std::endl;
    }
};
 
#endif // ENABLEIF

main.cpp:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include "enableif.h"
#include <list>
#include <string>
 
#define PRINT(val)\
    PrintMsg<is_container<decltype(val)>::value, decltype(val)>::print(val)
 
int main()
{
std::list<std::string> list = {"hello", "world"};
char ssdf[3] = {'a', 'b', 'c'};
PRINT(ssdf);
//PRINT(list)
return 0;
}

ни со списком, ни с массивом не рабоет, вылетают 3 ошибки в строке с макросом когда используем с массивом:
1. the value of 'is_container<char [3]>::value' is not usable in a constant expression
2. invalid conversion from 'char*' to 'int' [-fpermissive]
3. invalid type in declaration before '(' token

честно говоря я не могу понять в чем дело, помогите...

Croessmah · 16.09.2015, 04:16

Наверняка еще косяки остались:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
#ifndef ENABLEIF
#define ENABLEIF
 
#include <algorithm>
#include <iostream>
#include <iterator>
 
 
 
 
//проверяем является ли тип С контейнером
template<typename C>
class is_container {
public:
    template<typename T>
    static constexpr bool is_cont(typename T::iterator * it) { //сделал constexpr
        return true;
    }
    template<typename T>
    static constexpr bool is_cont(...) {//сделал constexpr
        return false;
    }
    static constexpr bool value = is_container<C>::is_cont<C>(nullptr) ; //Перенес сюда, сделал constexpr
};
 
 
 
template< bool Condition , typename C>
class PrintMsg {
public:
    static void print(C value){
        std::for_each(value.begin(), value.end(), [](typename C::value_type cc)->void {std::cout<<cc<<std::endl;});
    }
};
 
 
 
 
template<typename C>
class PrintMsg< false , C> {
public:
    static void print(C & value){//Добавил ссылку
        for(auto & cc: value)//исправил C на auto&
            std::cout<<cc<<std::endl;
    }
};
 
 
#endif // ENABLEIF
 
 
 
#include <list>
#include <string>
 
#define PRINT(val) \
    PrintMsg<is_container<decltype(val)>::value, decltype(val)>::print(val)
 
 
int main()
{
std::list<std::string> list = {"hello", "world"};
char ssdf[3] = {'a', 'b', 'c'};
PRINT(ssdf);
PRINT(list) ;
return 0;
}

только нафига это нужно?

@tapochka · 16.09.2015, 04:19 **[ТС]**

Сообщение от Croessmah

только нафига это нужно?

в целях обучения) спасибо, завтра буду разбираться, сейчас уже я зомби

@DrOffset · 16.09.2015, 04:47

tapochka, на всякий случай, вот более "классический" вариант, совместимый с С++03.

C++
1
2
3
4
5
6
7
8
9
10
11
template <typename C>
struct is_container 
{
    template <typename T>
    static char(&is_cont(typename T::iterator *))[1];
    
    template <typename T>
    static char(&is_cont(...))[2];
    
    enum { value = sizeof(is_cont<C>(NULL)) == 1 };
};

Добавлено через 4 минуты

Сообщение от tapochka

честно говоря я не могу понять в чем дело

У тебя в runtime вынесено было часть того, что должно быть в compile-time. Так что либо constexpr, либо убираем тело функций вообще (как в моем примере) и делаем ветвление исключительно на типах.

@tapochka · 16.09.2015, 22:55 **[ТС]**

Сообщение от DrOffset

У тебя в runtime вынесено было часть того, что должно быть в compile-time. Так что либо constexpr, либо убираем тело функций вообще (как в моем примере) и делаем ветвление исключительно на типах.

а почему функции автоматически в runtime выносят?
ориентировался на это: http://www.codeproject.com/Art... rogramming
выходит тут тоже неправильно?

@DrOffset · 16.09.2015, 23:10

Сообщение от tapochka

выходит тут тоже неправильно?

Там правильно. Там по-другому.

Сообщение от tapochka

а почему функции автоматически в runtime выносят?

У тебя константа value не времени компиляции.
Для инициализации используется вызов функции - это чистый runtime.

@tapochka · 16.09.2015, 23:43 **[ТС]**

Сообщение от DrOffset

Для инициализации используется вызов функции - это чистый runtime

хотите сказать, что такая конструкция выполняется в рантайме?

C++
1
2
int a = 1;
std::cout<<is_container<decltype(a)>::is_cont<decltype(a)>::value<<std::endl;

Croessmah · 17.09.2015, 00:43

Сообщение от tapochka

хотите сказать, что такая конструкция выполняется в рантайме?

is_cont будет выполняться в рантайме, так что

Сообщение от DrOffset

либо constexpr, либо убираем тело функций вообще (как в моем примере) и делаем ветвление исключительно на типах.

@tapochka · 17.09.2015, 01:01 **[ТС]**

Croessmah,

C++
1
2
    template <typename T>
    static char(&is_cont(typename T::iterator *))[1];

я, если честно, вообще не понял что здесь создается: не то функция, не то массив...
последний раз меня так шокировала только ссылка на массив своим синтаксисом

@DrOffset · 17.09.2015, 01:13

Сообщение от tapochka

я, если честно, вообще не понял что здесь создается: не то функция, не то массив...
последний раз меня так шокировала только ссылка на массив своим синтаксисом

это функция, возвращающая ссылку на массив.

Добавлено через 1 минуту

Сообщение от tapochka

хотите сказать, что такая конструкция выполняется в рантайме?

Вот эта конструкция выполняется в рантайме.

Сообщение от tapochka

C++
1
2
template<typename T> 
bool is_container<T>::value = is_container<T>::is_cont<T>(0); //ноль здесь т.к. указатель может быть нулем

В первую очередь.

@tapochka · 17.09.2015, 01:34 **[ТС]**

Сообщение от DrOffset

это функция, возвращающая ссылку на массив.

век живи - век учись (с)

Добавлено через 6 минут
к тому же я даже не знал, что для sfinae достаточно всего лишь объявления функции

@DrOffset · 17.09.2015, 01:37

Сообщение от tapochka

к тому же я даже не знал, что для sfinae достаточно всего лишь объявления функции

Именно в этом главная соль.

Новые блоги и статьи Все статьи Все блоги /
My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .
Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача №1: при указании работ (справочник РаботыПоРемонтуСпецтехники),. . .

Sfinae и иже с ним

Решение