1

Почему эта программа выводит 1, 2, 3 в clang, gcc и msvc, соответственно? Кто прав с точки зрения стандарта? godbolt

#include <iostream>
#include <memory>
#include <set>
#include <utility>

struct C : std::less<> {
    explicit C(std::shared_ptr<int> p) : p(p) {}

    std::shared_ptr<int> p;
};

int main() {
    auto p = std::make_shared<int>(42);
    auto s1 = std::set<int, C>(C(p));

    auto s2 = std::move(s1);
    s2 = std::move(s1);

    std::cout << p.use_count() << '\n';
}
7
  • Код не рабочий. Ещё было бы хорошо сразу ссылок на godbolt какой-нибудь.
    – αλεχολυτ
    25 мая в 11:56
  • Думаю в стандарте нет ни слова о том, должен ли быть компаратор разделяемым ли нет, и потому копиляторы делают что хотят. Разные реализации std же.
    – megorit
    25 мая в 12:26
  • 1
    Код взят из quuxplusone.github.io/blog/2023/05/10/lwg-2227. Вам недостаточно объяснения из статьи? 25 мая в 12:28
  • godbolt.org/z/sh6338xEo
    – megorit
    25 мая в 12:33
  • Мне кажется хорошим тоном было бы упоминать в таких случаях источник в вопросе. 25 мая в 12:39

0

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Посмотрите другие вопросы с метками или задайте свой вопрос.