CD
Ну это наверное можно порешать с помощью forwarding references + SFINAE
особенно для виртуальных функций
Size: a a a
2020 April 16
CD
так что еще вводим правило, запрещаюшее публичные виртуальные функции
NP
особенно для виртуальных функций
😔
NP
А вообще нефик биндить объекты переданные по ссылке))
NP
Хочешь биндить, принимай по указателю
CD
Хочешь биндить, принимай по указателю
а что с nullptr делать?
CD
в общем, этот костыль бьерна, допускающий 5 как int const&, наверное, самая большая ошибка проектирования языка на текущий момент
NP
а что с nullptr делать?
Считать за инвариант
CD
Считать за инвариант
Мне из-за него надо будет исключения с конструктора бросать
ПК
в общем, этот костыль бьерна, допускающий 5 как int const&, наверное, самая большая ошибка проектирования языка на текущий момент
На самом деле, запрет такого даёт немного
NP
Мне из-за него надо будет исключения с конструктора бросать
Я имею в виду обязать call-side гарантировать что передан не nullptr
ПК
На самом деле, запрет такого даёт немного
Потому что ты всё ещё можешь принять ссылку на короткоживущие объект
ПК
В этом плане prvalue ничем не отличается от переменной на стеке
CD
Потому что ты всё ещё можешь принять ссылку на короткоживущие объект
Я не могу получить int& временем жизни меньше, чем окружающий scope вызова фунцкии
ПК
Я не могу получить int& временем жизни меньше, чем окружающий scope вызова фунцкии
У тебя this может жить дольше, чем аргумент функции
CD
У тебя this может жить дольше, чем аргумент функции
Это не мои проблемы, я называюсь _view
ПК
Это не мои проблемы, я называюсь _view
Ну дак почему тогда ты предъявы кидаешь к prvalue? Скажи, что ты view и тебе нельзя передавать prvalue
CD
Ну дак почему тогда ты предъявы кидаешь к prvalue? Скажи, что ты view и тебе нельзя передавать prvalue
Соблюдать это правило чуть сложнее, чем не передавать мне аргументы, которые аллоцированы в хипе, и не аллоцировать меня в хипе
CD
Тут, собственно, очень простое замечание - скажем, если объект A получает ссылку на Б в ктор, то объект А умрет раньше объекта Б
ПК
Соблюдать это правило чуть сложнее, чем не передавать мне аргументы, которые аллоцированы в хипе, и не аллоцировать меня в хипе
Точно также неконтролируемо языковыми средствами