考虑实现一个overload_two类的任务，以便编译以下代码：

int main()
{
    overload_two o{
        [](int) { return 1; },
        [](char){ return 2; }
    };

    static_assert(o(0) + o('a') == 3);
}

第一次尝试看起来像这样：

template <typename F, typename G>
struct overload_two : F, G
{
    overload_two(F f, G g) : F{f}, G{g} { }
};

当然，这会失败并出现以下错误（gcc 11.0.1）：

<source>:15:22: error: request for member 'operator()' is ambiguous
   15 |     static_assert(o(0) + o('a') == 3);
      |                      ^

<source>:12:9: note: candidates are: 'main()::<lambda(char)>'
   12 |         [](char){ return 2; }
      |         ^

<source>:11:9: note:                 'main()::<lambda(int)>'
   11 |         [](int) { return 1; },
      |         ^

预期的解决方案是将F::operator()和 都G::operator()带入using声明的范围。然而——非常令人惊讶的是——引入一个看似无关的方法operator()也有效：

template <typename F, typename G>
struct overload_two : F, G
{
    overload_two(F f, G g) : F{f}, G{g} { }
    auto operator()(F&) { }  // wtf?
};

Godbolt.org 上的现场示例

更重要的是，clang 13.0.0 似乎在没有using声明或 random 的情况下工作operator()：godbolt.org 上的现场示例。

我的问题是：

1. gcc拒绝执行overload_two没有任何operator()或using声明是否正确？

2. gcc 接受overload_twowithoperator()(F&)和 nousing声明的实现是否正确？

3. clang 在overload_two没有任何operator()或using声明的情况下接受实施是否正确？

回答