Возможно ли реализовать стратегии оптимальных аргументов для функций?

[waleri]

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

Вы считаете, что таким образом можно избежать копирования тяжелых объектов?

Компилятор оптимизировал
Но в принципе да, будет зависить от возможностей компилятора но когда речь идет о шаблонах это так или иначе принимается за данность - что компилятор справится.

[_Bers]

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

Ну тогда так... добрый старый препроцессор:

template <typename type>
class TArgument
{
public:
    TArgument(type)
    {
    }
};

template <typename type>
TArgument<type> TGetArgument(const type& arg)
{
    return arg;
}
TArgument<int> TGetArgument(int val)
{
    return val;
}

template <typename type1, typename type2>
void TFunction(type1 a1, type2 a2)
{
}
#define TFunction(a, b)    TFunction(TGetArgument(a), TGetArgument(b))

Препроцессор не подойдет.... Он не позволяет делать перегрузку.
Механизм рассчитан на работу с разным количеством аргументов.

[_Bers]

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

Компилятор оптимизировал
Но в принципе да, будет зависить от возможностей компилятора но когда речь идет о шаблонах это так или иначе принимается за данность - что компилятор справится.

Реально - это не то, место, которое подходит для оптимизаций.
Сам я не шибко в этом понимаю, но эксперименты показывают - конструкторы запускаются.

Ну и ребят спрашивал, спецов по ассемблеру. Так они и вовсе сказали: косвенный вызов функций (или, о боже! Запуски конструкторов) - это не место для оптимизаций, за искл. тех, что прописаны в стандарте.

[waleri]

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

Механизм рассчитан на работу с разным количеством аргументов.

Какой механизм?

[_Bers]

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

Какой механизм?

Хороший механизм. Который будет использовать функцию Foo, и её возможные перегрузки в своих целях.

[waleri]

Ну раз вам не нравится препроцессор, вот вам то же самое без препроцесора. Не понимаю зачем все это нужно - все равно код такой функции не может быть универсальным а если есть специализация, тогда можда подгонять аргументы вручную... Изпользуйте VARIANT подобие и храните тип там - т.е. информацию о типе которая вам надо...

template <typename type>
class TArgument
{
public:
    TArgument(const type&)
    {
    }
};
template <>
class TArgument<int>
{
public:
    TArgument(int)
    {
    }
};

template <typename type>
void TFunction(TArgument<type> arg)
{
}
template <typename type>
void TFunction(const type& arg)
{
    TFunction(TArgument<type>(arg));
}

[_Bers]

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

Ну раз вам не нравится препроцессор, вот вам то же самое без препроцесора. Не понимаю зачем все это нужно - все равно код такой функции не может быть универсальным а если есть специализация, тогда можда подгонять аргументы вручную... Изпользуйте VARIANT подобие и храните тип там - т.е. информацию о типе которая вам надо...

template <typename type>
class TArgument
{
public:
    TArgument(const type&)
    {
    }
};
template <>
class TArgument<int>
{
public:
    TArgument(int)
    {
    }
};

template <typename type>
void TFunction(TArgument<type> arg)  //сломается при первом же инстансе. Нельзя вывести тип аргумента
{
}
template <typename type>
void TFunction(const type& arg)  //не удовлетворяет задачи
{
    TFunction(TArgument<type>(arg));
}

ё12233ё12233ё12233ё12233

[waleri]

TFunction(TArgument<type>) не предполагается вызывать напрямую, так что ничего ломаться не будет - надо было назвать TImplement как и раньше. Что касается второго замечания, то удовлетворяет задачу чуть лучше вашего варианта SOpt - те же type& но только сохраняется информация о типах. И я лично считаю, ТFunction будет соптимизирована и будет вызываться TFunction(TArgument) напрямую а там уже TArgument будет менятся в зависимости от типа.

[_Bers]

waleri, если в функцию был передан константный объект - он должен быть принят по константной ссылке. А если не константный объект - по не константной ссылке.

В твоем примере нет возможности определить, является ли аргумент константным, или нет. В твоем примере в принципе нет возможности узнать, являлся ли объект константным или нет. Он априори считается константным

[netrino]

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

waleri, если в функцию был передан константный объект - он должен быть принят по константной ссылке. А если не константный объект - по не константной ссылке.

Если передаваемый в функцию объект константен, то и ссылка константной будет.

template <typename T>
void modify (T &value) {
  value = 10;
}

int main () {
  int x = 10;
  const int y = 20;

  modify (x);
  modify (y); // Ошибка "нельзя модифицировать константный объект"
}