In the following code, the variadic constructor is called twice. How can I get the copy constructor to be called instead of the single argument version of the variadic constructor when appropriate?
#include <iostream>
struct Foo
{
Foo(const Foo &)
{
std::cout << "copy constructor\n";
}
template<typename... Args>
Foo(Args&&... args)
{
std::cout << "variadic constructor\n";
}
std::string message;
};
int main()
{
Foo f1;
Foo f2(f1); // this calls the variadic constructor, but I want the copy constructor.
}
This actually has nothing to do with the fact that the constructor is variadic. The following class with a non-variadic constructor template exhibits the same behavior:
struct Foo
{
Foo() { }
Foo(const Foo& x)
{
std::cout << "copy constructor\n";
}
template <typename T>
Foo(T&& x)
{
std::cout << "template constructor\n";
}
};
The problem is that the constructor template is a better match. To call the copy constructor, a qualification conversion is required to bind the non-const lvalue f1
to const Foo&
(the const qualification must be added).
To call the constructor template, no conversions are required: T
can be deduced to Foo&
, which after reference collapsing (Foo& &&
-> Foo&
), gives the parameter x
type Foo&
.
You can work around this by providing a second copy constructor that has a non-const lvalue reference parameter Foo&
.
Just provide an exact-match overload, i.e. one with a non-const
Foo&
, in addition to the conventional copy constructor. Then you can delegate the call via an explicit cast:
Foo(Foo& other) : Foo{const_cast<Foo const&>(other)} { }
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With