C++ 0/1-argument 构造函数在传递给模板构造函数时未按预期链接

Question

这个问题在这里已经有了答案:





Default constructor with empty brackets

(9 个回答)


2年前关闭。




在下面的代码示例中，我有一个带有模板化 1 参数构造函数的类，称为 Acceptor1 .我想传入 Foo, Bar, or Baz 类型的对象到它的构造函数，链接构造函数调用。 (实际情况是，这个简化的例子反射(reflect)了我试图用类型删除做的事情:我想将一个对象传递给橡皮擦类。)实际发生的是，当我尝试声明一个 Acceptor1对象并传递它，例如一个 Foo对象，我定义了一个变量，该变量指向一个函数，该函数接受 FUNCTION 指针(不是 Foo 对象)并返回 Acceptor1 .函数指针的类型是Foo(*)() .整体变量声明为 Acceptor1 (Foo (*)()) 类型.
我无法用任何可能的 enable_if 来解决这个问题语句，如 Accessor2 所示类示例，我什至没有 定义 1 参数构造函数。
就像我提到的那样，它的最终用途是能够拥有一个类型橡皮擦类，它的构造函数看起来像 Acceptor1 ，以及用于类型删除的额外机制。我已经这样做了，只要我要删除的类型不是使用 0/1 参数构造函数构造的，它就可以正常工作。或者，我可以在两个单独的语句中声明和分配变量。但是，我有很多，这使代码的大小增加了一倍，并且占用了更多的 CPU 周期，我猜。
有没有人对如何获得 Acceptor1 test( Foo() ) 有任何想法？被视为定义 Accessor1 , 并用 Foo 初始化它目的？它适用于 Accessor1 test( Baz(d, d2) ) ，两个参数的情况。它也适用于文字，例如Acceptor1 test( Bar(1.0) ) .谢谢!
肖恩
这是代码:

#include <iostream>
#include <typeinfo>

using namespace std;

struct Foo {
    Foo() {
        cout << "Foo" << endl;
    }
};

struct Bar {
    Bar(double a) {
        cout << "Bar" << endl;
    }
};

struct Baz {
    Baz(double a, double b) {
        cout << "Baz" << endl;
    }
};

struct Acceptor1 {
    template<typename T> //no possible enable_if could help this problem
    Acceptor1(T f) {
        cout << typeid(T).name() << endl;
    }
};

struct Acceptor2 {
};

int main()
{
    double d, d2;

    std::cout << std::endl;

    //0 arguments - captures a conversion constructor
    Acceptor1 one(Foo()); //F9Acceptor1PF3FoovEE=Acceptor1 (Foo (*)())
    cout << "one: " << typeid(one).name() << endl << endl;
    
    //0 arguments - the result we expect
    Acceptor1 two = Acceptor1(Foo()); //9Acceptor1=Acceptor1
    cout << "two: " << typeid(two).name() << endl << endl;

    //There's no possible way to enable_if it out - I deleted the whole constructor
    Acceptor2 three(Foo()); //F9Acceptor2PF3FoovEE=Acceptor2 (Foo (*)())
    cout << "three: " << typeid(three).name() << endl << endl;

    //1 arguments - captures a conversion constructor
    Acceptor1 four(Bar(d)); //F9Acceptor13BarE=Acceptor1 (Bar)
    cout << "four: " << typeid(four).name() << endl << endl;
    
    //1 arguments - the result we expect
    Acceptor1 five = Acceptor1(Bar(d)); //9Acceptor1=Acceptor1
    cout << "five: " << typeid(five).name() << endl << endl;

    //There's no possible way to enable_if it out - I deleted the whole constructor
    Acceptor2 six(Bar(d)); //F9Acceptor23BarE=Acceptor2 (Bar)
    cout << "six: " << typeid(six).name() << endl << endl;

    //1 arguments - literal
    Acceptor1 seven(Bar(5.0)); //9Acceptor1=Acceptor1
    cout << "seven: " << typeid(seven).name() << endl << endl;

    //2 arguments - the result we expect
    Acceptor1 eight(Baz(d, d2)); //9Acceptor1=Acceptor1
    cout << "eight: " << typeid(eight).name() << endl << endl;
    
    //2 arguments - the result we expect
    Acceptor1 nine = Acceptor1(Baz(d, d2)); //9Acceptor1=Acceptor1
    cout << "nine: " << typeid(nine).name() << endl << endl;

    using FooMaker = Foo(&)();
    using AcceptorFnToBazMaker = Acceptor1(*)(FooMaker); //PF9Acceptor1RF3FoovEE=Acceptor1 (*)(Foo (&)())
    cout << "AcceptorFnToBazMaker: " << typeid(AcceptorFnToBazMaker).name() << endl << endl;

    return 0;
}

编辑:有人建议这是 Default constructor with empty brackets 的拷贝- 我同意他们都提到“最令人烦恼的解析”作为问题的根源，但问题是不同的。那里的答案甚至包括一个带有 2 个参数的函数的示例。在我的例子中，对于构造函数，只有 0/1 参数的构造函数会被特殊处理。

Answer 1

更改Acceptor1 test( Foo() )至Acceptor1 test((Foo()))或者更好的方法是Acceptor1 test{Foo()}或者也许(就像你所做的那样)Acceptor1 test = Acceptor1(Foo()) ;

编译器可以将该行解释为有效的函数声明和对象初始化。标准(据我记得)说，在这种情况下，将其作为函数声明。这是in cppreference about this :

In case of ambiguity between a variable declaration using the direct-initialization syntax (1) (with round parentheses) and a function declaration, the compiler always chooses function declaration. This disambiguation rule is sometimes counter-intuitive and has been called the most vexing parse.

因此你得到了这个。

要使编译器将其解释为对象初始化，请添加一个括号 ()周围使其成为无效的函数声明。 Viz-a-viz，您所要做的就是确保它不是有效的函数声明语法。