Попытка скопировать promise не скомпилируется. Почему? Потому что обещание должно быть выполнено ровно один раз, одним владельцем.
// ❌ НЕ СКОМПИЛИРУЕТСЯ
std::promise<int> prom1;
std::promise<int> prom2 = prom1; // Error!
// ✅ Move семантика — владение передаётся
std::promise<int> prom1;
std::promise<int> prom2 = std::move(prom1);
// Типичное использование в потоке
std::thread t([p = std::move(prom)]() mutable {
p.set_value(42); // Только этот поток владеет promise
});
Аналогия: Представьте promise как расписку о долге. Копия расписки — это две расписки? Или передача прав требования? Очевидно, второе.
При передаче в std::thread или lambda используйте:
• std::move для r-value
• mutable lambda если будете вызывать set_value
⚡️ Move-only семантика — это фитча, а не bug. Она предотвращает race conditions и двойные set_value.
Библиотека C/C++ разработчика
#константная_правильность