Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > передача параметров функции в шаблон в c++11

Автор: Ivan. 6.9.2012, 14:31

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

Код


template<int ...list> struct SSS{static const int v = 0;};
template<typename ...Types> constexpr int Func(Types ...List){
  return SSS<List...>::v;
}

Почему List... не является константой, если вся функция constexpr?

Автор: bsa 6.9.2012, 15:21

Замени 'static const int v = 0;' на enum { v = 0 };

Автор: Ivan. 6.9.2012, 17:44

дело не в static const - это я просто упростил пример, на самом деле там идет рекурсивный темплейт.
он не может передать входные параметры в качестве параметров темплейта.
он пишет: 'List#1' is not a constant expression. в функцию можно передать все что угодно, в том числе и в рантайме и строить на этом этапе темплейт уже поздно. но я помечаю, что вся функция является константой и должна выполняться на этапе компиляции, но компилятор этого не понимает. я и хочу спросить, как можно объяснить компилятору, что входные параметры являются константами?

Автор: boostcoder 6.9.2012, 17:55

покажи компилябельный код воспроизводящий ошибку.

Автор: Ivan. 6.9.2012, 18:22

Код


template<typename T,      T ...List>struct _SFlags; //Декларация шаблона
template<typename T, T b, T ...List>struct _SFlags<T, b, List...>{static const long long v = (1LL << b) | _SFlags<T, List...>::v;}; //Рекурсив, пока не кончатся аргументы
template<typename T                >struct _SFlags<T            >{static const long long v = 0;}; //Начальное значение при отсутствии аргументов
template<typename T, T Max>
class SFlags
{
    long long Flags; //Массив флагов
public:
    template<typename ...Types>constexpr SFlags(Types ...List) :Flags(_SFlags<T, List...>::v){} //Конструктор неограниченного числа аргументов
};
enum EErrors {eBreakSensor1, eBreakSensor2, wMinPressure, eMaxTemperature, eCOUNT};
typedef SFlags<EErrors, eCOUNT> TError;
const TError BreakError(eBreakSensor1, eBreakSensor2, eMaxTemperature);

задача в следующем: есть такой шаблонный класс битов типа TSet, на основе его создаются классы перечня ошибок и др. он естественно имеет всякие методы.
так вот, мне нужно создать объект типа TError с какими то предустановленными битами, указанными в конструкторе. вот этот конструктор я и пытаюсь написать.
шаблон _SFlags объединяет биты на основе списка аргументов и сохраняет их в статическую переменную.
конструктор класса SFlags сохраняет в поле Flags значение v шаблона _SFlags передавая туда входные аргументы конструктора.
Конструктор SFlags обязательно должен быть constexpr, чтобы разместить данные в кодовой памяти при компиляции.

Автор: boostcoder 6.9.2012, 18:49

это не совсем то, чего я ожидал.
добавь main(), добавь пример использования...

Добавлено через 1 минуту и 8 секунд
и кто такие eBreakSensor2, eMaxTemperature ?
как этот код может называться компилябельным?

Автор: Ivan. 6.9.2012, 19:03

я пишу системы автоматического управления различных протекающих процессов в основном для контроллеров.
eBreakSensor1, eBreakSensor2, wMinPressure, eMaxTemperature - это перечень каких либо флагов, в частности аварий и предупреждений в системе.
eBreakSensor1 - обрыв датчика 1;
eBreakSensor2 - обрыв датчика 2;
wMinPressure - предупреждение минимального давления;
eMaxTemperature - авария по максимальной температуре;
eCOUNT - число флагов в енуме.

Код


template<typename T,      T ...List>struct _SFlags;
template<typename T, T b, T ...List>struct _SFlags<T, b, List...>{static const long long v = (1LL << b) | _SFlags<T, List...>::v;};
template<typename T                >struct _SFlags<T            >{static const long long v = 0;};
template <typename T, T Max>
class SFlags
{
    long long Flags;
public:
    template<typename ...Types>constexpr SFlags(Types ...List) :Flags(_SFlags<T, List...>::v){}
    //методы:
    inline bool operator &(const SFlags<T, Max>& Value) {return (Flags & Value.Flags) != 0;}
};
enum EErrors {eBreakSensor1, eBreakSensor2, wMinPressure, eMaxTemperature, eCOUNT};
typedef SFlags<EErrors, eCOUNT> TError;
const TError PROGMEM SensorErrors(eBreakSensor1, eBreakSensor2);
const TError PROGMEM AllErrors(eBreakSensor1, eBreakSensor2, eMaxTemperature);
const TError PROGMEM AllWarnings(wMinPressure);
//---------------------------------------------------------------------------
int main()
{
    while (1){
        if (Errors & AllErrors){ //Если среди текущих аварий есть хоть одна авария перечисленная в переменной AllErrors
            puts("Авария"); //Выводим аварию и зависаем
            while (1){}
        }
        if (Errors & AllWarnings){ //Если есть хоть один флаг предупреждения
            puts("Предупреждение"); //Выводим предупреждающее сообщение
        }
    }
}

Добавлено @ 19:11
забыл, еще есть такая переменная текущих флагов ошибок: TError Errors; куда помещаются текущее состояние системы. я не буду описывать всю систему, откуда они берутся и как туда попадают

Автор: Ivan. 6.9.2012, 20:18

решил!!! заменил рекурсивную структуру на рекурсивную функцию:

Код


template<typename ...Types>constexpr long long _SFlags(Types ...List); //декларация шаблонной функции
template<typename T, typename ...Types>constexpr long long _SFlags(T b, Types ...List){return (1LL << b) | _SFlags(List...);} //Рекурсия, пока не останется 1 аргумент
template<typename T>constexpr long long _SFlags(T b){return 1LL << b;} //значение при единственном агрументе
class SFlags
{
public:
    long long Flags;
    template<typename ...Types>constexpr SFlags(Types ...List) :Flags(_SFlags(List...)){}
};

Вывод: в шаблон можно загонять только типы, и чистые данные базовых типов и енумов без каких либо преобразований (int)Value, где Value является long, и значений, возвращаемых какими либо функциями, даже если они constexpr.

Автор: Ivan. 7.9.2012, 10:07

Беда. получилась следующая аказия: в классе появился конструктор с неопределенным числом неопределенного типа аргументов.
Задача. необходимо создать копию объекта, что мы делаем:

Код

TError Error(eBreakSensor1, eBreakSensor2); //Первый экземпляр класса TError;
//Создаем копию
TError E1 = Error;

Что делает компилятор:
- видит доступный конструктор с неограниченным числом аргументов - тип подходит, количество аргументов тоже;
- входит в него;
- встречает операцию 1LL << Value, где Value является типом TError;
- пытается его к чему нибуть преобразовать, чтобы получить число;
- встречает оператор bool() - пойдет;
- в итоге вместо копии происходит инициализация массива битов установкой первого бита.
Выход: создать конструктор копии

Код

constexpr TFlags(const TFlags &Value) :Flags(Value.Flags){}

это все хорошо, но что делать, если поле Flags не long long, а массив char?

Код

template<u8 Size>
struct TFlags {
  u8 Flags[Size];
  constexpr TFlags(const TFlags &Value) :Flags(Value.Flags){} //Косяк Flags - это массив, а Value.Flags - указатель
};

Копировать через цикл - не хорошо.
Вопрос, как можно проинициализировать массив?

Автор: bsa 7.9.2012, 12:21

в С++11 кажется есть возможность использовать дефолтовый конструктор:

Код

class MyClass {
  MyClass(const MyClass &other) = default;
};

Я ошибаюсь?