g std::variant, похоже, не может поддерживать пользовательский класс с помощью переменной std ::atomic / std::mutex (с подробностями / кодом)

ProgramBox

g std::variant, похоже, не может поддерживать пользовательский класс с помощью переменной std ::atomic / std::mutex (с подробностями / кодом)

Post author:admin
Запись опубликована:30 августа, 2022
Post category:Вопросы по программированию

#c #c 17 #stdatomic #std-variant

Вопрос:

Например, если у меня есть класс с std::atomic_bool или std::mutex, и если я помещу этот класс внутрь std::variant, мой g будет жаловаться на «нет соответствующей функции для вызова std::variant<….>». Теперь я должен объявить свой член std::mutex статическим.

g (GCC) 7.3.1 20180303 (Red Hat 7.3.1-5) Copyright (C) 2017 Free Software Foundation, Inc. Это бесплатное программное обеспечение; условия копирования см. В источнике. Гарантии НЕТ; даже на ТОВАРНУЮ ПРИГОДНОСТЬ или ПРИГОДНОСТЬ ДЛЯ ОПРЕДЕЛЕННОЙ ЦЕЛИ.

Фактический код

 #include <iostream>
#include <variant>
#include <mutex>

enum class enFixEngineRunMode {
    eFixModeStreet      // Fix connection side as initiator/client
    ,eFixModeStreetStandAlone       // Fix connection side as initiator/client
    ,eFixModeStreetAccpt    // Fix connection side as acceptor/server
    ,eFixModeStreetAccptStandAlone  // Fix connection side as acceptor/server
    ,eFixModeClient     // Fix connection side as acceptor/client
    ,eFixModeClientStandAlone       // Fix connection side as acceptor/client
    ,eFixModeClientInit // Fix connection side as initiator/server
    ,eFixModeClientInitStandAlone   // Fix connection side as initiator/server
    ,eFixModeInvalid
};

struct FOO {
    FOO(int any) { }
    void operator()() const {
        std::cout << "FOO2" << std::endl;
    }
};

template <enum enFixEngineRunMode>
struct BAR {
    BAR(double any) { }
    void operator()() const {
        std::cout << "BAR2" << std::endl;
    }

    std::mutex  m_metux;
};

template<>
struct BAR<enFixEngineRunMode::eFixModeStreetStandAlone> {
    BAR(double any) { }
    void operator()() const {
        std::cout << "eFixModeStreetStandAlone" << std::endl;
    }
};

using EngineImpl = std::variant<BAR<enFixEngineRunMode::eFixModeStreet>
                                , BAR<enFixEngineRunMode::eFixModeStreetStandAlone>
                                , BAR<enFixEngineRunMode::eFixModeStreetAccpt>
                                , BAR<enFixEngineRunMode::eFixModeStreetAccptStandAlone>
                                , BAR<enFixEngineRunMode::eFixModeClient>
                                , BAR<enFixEngineRunMode::eFixModeClientStandAlone>
                                , BAR<enFixEngineRunMode::eFixModeClientInit>
                                , BAR<enFixEngineRunMode::eFixModeClientInitStandAlone>
                                , BAR<enFixEngineRunMode::eFixModeInvalid>>;

struct Engine {
    Engine() : m_engine([amp;] {
        int i = 2;
        if (1 == i)
            return EngineImpl(BAR<enFixEngineRunMode::eFixModeStreetStandAlone>(0.0));
        else return EngineImpl(BAR<enFixEngineRunMode::eFixModeStreet>(0.0));
    }()) {}

    void operator()() const {
        std::visit([](auto constamp; e){ e(); }, m_engine);
    }
    EngineImpl  m_engine;
};

int main(int argc, const char *argv[], char** env)
{
    Engine e;
    e();
    return 0;
}

ошибка компиляции:

 variantMain2.cpp:57:70: error: no matching function for call to ‘std::variant<BAR<(enFixEngineRunMode)0>, BAR<(enFixEngineRunMode)1>, BAR<(enFixEngineRunMode)2>, BAR<(enFixEngineRunMode)3>, BAR<(enFixEngineRunMode)4>, BAR<(enFixEngineRunMode)5>, BAR<(enFixEngineRunMode)6>, BAR<(enFixEngineRunMode)7>, BAR<(enFixEngineRunMode)8> >::variant(BAR<(enFixEngineRunMode)0>)’
   else return EngineImpl(BAR<enFixEngineRunMode::eFixModeStreet>(0.0));
                                                                      ^
In file included from variantMain2.cpp:2:0:
/opt/rh/devtoolset-7/root/usr/include/c  /7/variant:986:2: note: candidate: template<long unsigned int _Np, class _Up, class ... _Args, class> constexpr std::variant<_Types>::variant(std::in_place_index_t<_Np>, std::initializer_list<_Up>, _Argsamp;amp; ...)
  variant(in_place_index_t<_Np>, initializer_list<_Up> __il,
  ^~~~~~~
/opt/rh/devtoolset-7/root/usr/include/c  /7/variant:986:2: note:   template argument deduction/substitution failed:
variantMain2.cpp:57:70: note:   ‘BAR<(enFixEngineRunMode)0>’ is not derived from ‘std::in_place_index_t<_Idx>’
   else return EngineImpl(BAR<enFixEngineRunMode::eFixModeStreet>(0.0));
                                                                      ^
In file included from variantMain2.cpp:2:0:
/opt/rh/devtoolset-7/root/usr/include/c  /7/variant:977:2: note: candidate: template<long unsigned int _Np, class ... _Args, class> constexpr std::variant<_Types>::variant(std::in_place_index_t<_Np>, _Argsamp;amp; ...)
  variant(in_place_index_t<_Np>, _Argsamp;amp;... __args)

1. В чем здесь вопрос ? Правильно ли GCC отклонять этот код? Если да, то почему это недопустимо? Как избежать проблемы без static ?

2. о том, чтобы Q1 — GCC был правильным, не может быть и речи. Но почему CC в gcc-help — это посмотреть какие-либо советы от группы экспертов. Q2 — почему недопустимо и как избежать проблемы без static. Да, это то, что я хотел бы услышать.

3. Конструктор выбранного варианта пытается переместить или скопировать из своего аргумента. Вы не можете сделать ни того, ни другого с помощью мьютекса. Вместо этого вы можете поместить в variant ( en.cppreference.com/w/cpp/utility/variant/emplace )

Ответ №1:

Поскольку std::variant он не является агрегатом, он должен перемещать свои аргументы в свое внутреннее хранилище и std::mutex не является подвижным (потому что это нарушило бы работу всех одновременных пользователей). Ваш выбор — сделать BAR подвижным (например, путем сохранения a std::unique_ptr<std::mutex> ) или избежать перемещения, используя std::in_place_type для создания объекта внутри варианта.