История изменений
Исправление dissident, (текущая версия) :
Еще хуже пример (external_library та же):
{
A a;
sink(move(a)); // UB? or not UB?
}
Хотя я вроде сам себе ответил: https://stackoverflow.com/questions/26579132/what-is-the-post-condition-of-a-.... Вроде valid state будет. Т.е. не UB.
Т.е. мое A нарушает женевскую (или еще какую-нибудь) конвенцию.
Исправление dissident, :
Еще хуже пример (external_library та же):
{
A a;
sink(move(a)); // UB? or not UB?
}
Хотя я вроде сам себе ответил: https://stackoverflow.com/questions/26579132/what-is-the-post-condition-of-a-.... Вроде valid state будет. Т.е. не UB.
Исправление dissident, :
Еще хуже пример (external_library та же):
{
A a;
sink(a); // UB? or not UB?
}
Хотя я вроде сам себе ответил: https://stackoverflow.com/questions/26579132/what-is-the-post-condition-of-a-.... Вроде valid state будет. Т.е. не UB.
Исходная версия dissident, :
Еще хуже пример (external_library та же):
{
A a;
sink(a); // UB? or not UB?
Хотя я вроде сам себе ответил: https://stackoverflow.com/questions/26579132/what-is-the-post-condition-of-a-.... Вроде valid state будет. Т.е. не UB.