Всех с наступающим!
Столкнулся с проблемой. Компилятор VS2019/VS2017 выбирает не тот конструктор при попытке скомпилировать код:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
struct Base
{
template <typename FuncT, typename ... ArgsT>
explicit Base(FuncT&& fn, ArgsT&&... vArgs)
{
std::invoke(fn, std::forward<ArgsT>(vArgs)...);
}
Base(Base&& other) noexcept
{
// какой-нибудь полезный код
}
};
struct Derived : public Base
{
template <typename FuncT, typename ... ArgsT>
explicit Derived(bool bFlag, FuncT&& fn, ArgsT&&... vArgs) : Base(std::forward<FuncT>(fn), std::forward<ArgsT>(vArgs))
{
m_flag = bFlag;
}
Derived(Derived&& other) noexcept : Base(std::move(other)) // проблема здесь!
{
// какой-нибудь полезный код
}
bool m_flag;
};
Проблема в том, что в
Base классе есть шаблонная функция (так называемый универсальный конструктор), которая, по мнению компилятора, лучше подходит для использования в конструкторе перемещения
Derived :
Base (std::move(other)), хотя по правилам языка победить должна нешаблонная функция при совпадающих/подходящих аргументах. Так?
Данный пример приведен только для иллюстрации проблемы, реальный код несколько сложнее и я не могу написать = default для
Derived и
Base конструкторов перемещения. И не факт что это поможет.
Есть ли способ убедить компилятор использовать конструктор перемещенния
Base , а не универсальный конструктор
Base из конструктора перемещения
Derived ?
Я пробовал использовать SFINAE и сделать универсальный конструктор непригодным для использования в качестве конструктора перемещения, но из-за более сложной ситуации в реальном коде, это вызывает проблемы при компиляции других классов, которым нужен данный универсальный конструктор (они перестают его видеть или тупят при попытке выбрать правильную специализацию, короче проблем становится еще больше чем было до этого).
https://godbolt.org/z/ER48Ml
--------------------------------------------------------------
o(O_O)o
