我可以默认第一个模板参数吗？

Question

我有一个带有两个类型名称参数的模板方法（实际上是 QObject::connect() - 请参阅 this answer and another answer）。因为类型名是针对成员指针的，所以当传入的名称引用重载函数时，推导可能会失败；当发生这种情况时，我们需要将一个参数强制转换为正确的类型（可能通过将其存储到所需类型的局部变量中）或使用一个或多个模板参数来限定调用。

以其中一个链接问题为例：

QObject::connect(spinBox, &QSpinBox::valueChanged,
                 slider, &QSlider::setValue);

需要写成

QObject::connect<void(QSpinBox::*)(int)>(spinBox, &QSpinBox::valueChanged,
                                         slider, &QSlider::setValue);

或（通过强制）：

void(QSpinBox::*signal)(int) = &QSpinBox::valueChanged;
QObject::connect(spinBox, signal,
                 slider, &QSlider::setValue);

虽然有时可以推导出第一个模板参数，但后面的一个是必需的。有没有一种简单的方法来默认第一个参数，但指定其他参数？我在想

QObject::connect<auto, void(QSpinBox::*)(int)>(slider, &QSlider::valueChanged,
                                               spinBox, &QSpinBox::setValue);

显然，这不是有效的 C++，但我希望它能说明这一点。

我知道我会写

void(QSpinBox::*slot)(int) = &QSpinBox::setValue;
QObject::connect(slider, &QSlider::valueChanged,
                 spinBox, slot);

但我希望语法更简洁。

Answer 1

Is there an easy way to default the first parameter, but specify others?

没有。你只需要手动强制第二个参数，就像 static_cast:

QObject::connect(slider, &QSlider::valueChanged,
    spinBox, static_cast<void(QSpinBox::*)(int)>(&QSpinBox::setValue));

或者只是使用 connect() 的不同重载并传递一个 lambda：

QObject::connect(slider, &QSlider::valueChanged,
    [&spinBox](int i){ spinBox.setValue(i); });

我可以默认第一个模板参数吗？

Can I default the first template parameter?

c++

templates

template-argument-deduction