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

[_Bers]

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

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

У меня похоже, уже template головного мозга))

template<class T>struct IsConst
{
    IsConst() { cout<< "no const\n"; }
};
template<class T>struct IsConst<const T>
{
    IsConst() { cout<< "const\n"; }
};

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

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

    modify (x);
    modify (y);
    modify (10); // : error C2664: modify: невозможно преобразовать параметр 1 из 'int' в 'int &'

    return 0;
}

Он не прожовывает магические числа

[netrino]

Да, но с этим ничего не поделать, разве только использовать rvalue-reference из C++11 или константные ссылки. Но покажите сценарий использования, пока что я не увидел целесообразности Ваших чаяний. Быть может и не нужен универсальный механизм для всех параметров?

[_Bers]

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

Да, но с этим ничего не поделать, разве только использовать rvalue-reference из C++11 или константные ссылки. Но покажите сценарий использования, пока что я не увидел целесообразности Ваших чаяний. Быть может и не нужен универсальный механизм для всех параметров?

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

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


Я не могу вам предоставить весь сценарий (ибо много букав получится)
Могу сообщить идею:

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

Внутри функции-приёмника создается объект "передатчик"

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

Передатчик выполняет запрос к получателю: "типы аргументов удовлетворяют ожидаемым?"

Если нет - ситуацию будет разруливать "служба безопасности".
Если все в порядке, то передатчик пуляет носитель аргументов получателю.

Получатель берет в руки носитель, из которого вытряхивает все аргументы, какие ему были нужны, ну и что то с ними делает.

Если получатель изменит значение мутабельной ссылки, то оригинал (переменная, которую запулил в приемник) тоже изменится.

Вообще, вся эта хрень не плохо работает. Но есть проблема - если принимать аргументы по значению - срабатывают копирующие конструкторы.

А если принимать по константным ссылкам - то внутри приёмника, передатчик уже не знает, был ли полученный аргумент изначально константным, или не был. А получатель теоретически может изменить значение константного объекта.

приведу пример:

const int& b = 10;
Foo(b);

cout<< "b="<<b<<endl; //вывод 33

Никаких ошибок компиляции. Никаких ошибок рантайма.
Все работает, ничего не ломается.

Падумаешь... изменили значение константы магического числа...

[waleri]

Используйте лучше <<

[netrino]

_Bers, быть может будет лучше, если вместо своих абстрактных описаний Вы приведёте код? Трудно понять, что же именно Вам надо. Может быть средств boost хватит, вроде boost :: (c)ref?

[_Bers]

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

_Bers, быть может будет лучше, если вместо своих абстрактных описаний Вы приведёте код? Трудно понять, что же именно Вам надо. Может быть средств boost хватит, вроде boost :: (c)ref?

Большое спасибо за совет. Я ознакомился с бустовскими механизмами, и выработал для себя приемлемое решение.