C ++: Лучший способ укрепить безопасность типа назначения к функции Std ::? ⇐ C++

[Anonymous]

Сводка: < /strong> Раньше я задал этот вопрос:
Почему C ++ разрешает назначения функции std :: подразумевать копию объекта?
Теперь, когда я понимаю, почему код работает так, как он, я хотел бы знать, как его исправить. Если параметр является const x & , я не хочу, чтобы функции, которые занимают только x , были назначены. Существует ли какое -то изменение подписи или класс обертки вокруг x или другой методики, которая гарантирует, что только функции, которые соответствуют Typedef, могут быть назначены для std :: function этого Typedef? Формальный метод "Copyme", который должен быть добавлен повсюду. Я хочу исправить назначение функции std ::, если возможно. У меня может быть тип, чей параметр - const x & Как это:
typedef std::function ConstByRefFunction;
< /code>
Но это позволяет назначить функцию, которая поставляется как это: < /p>
void DoThingByValue(Thing event);
ConstByRefFunction func = DoThingByValue; // LEGAL!
< /code>
Для полного примера с контекстом см. Код ниже. Назначение внедряет конструктор копии для вызова. < /P>
Я не хочу, чтобы это было законным. Я пытаюсь написать код C ++, который тесно управляет, когда конструкторы копирования вызываются и применяются по всему приложению, что все функции, назначенные для конкретного обратного вызова, следуют точно так же подпись, не позволяя отклонять, показанное выше. У меня есть пара идей, которые я могу попытаться укрепить это (в основном с участием классов обертки для типа ), но мне интересно, если кто -то уже выяснил, как заставить какую -то безопасность типа. Или, может быть, вы уже доказали, что это невозможно, и мне просто нужно обучать разработчиков и убедиться, что мы делаем строгие проверки в запросах. Я ненавижу этот ответ, но я возьму его, если это так, как работает C ++. < /P>
ниже приведен полный пример. Обратите внимание на линию, отмеченную «Я бы хотел, чтобы это сломалось в компиляции»: < /p>
#include
#include
#include

class Thing {
public:
Thing(int count) : count_(count) {}
int count_;
};

typedef std::function ConstByRefFunction;

void DoThingByValue(Thing event) { event.count_ += 5; }

int main() {
Thing thing(95);
ConstByRefFunction func = DoThingByValue; // I WISH THIS WOULD BREAK IN COMPILE
// The following line copies thing even though anyone looking at
// the signature of ConstByRefFunction would expect it not to copy.
func(thing);
std::cout

Подробнее здесь: https://stackoverflow.com/questions/795 ... tdfunction