c++ - C++：可能与概念相关的错误产生“多次调度”

Question

这里发生了什么？testGeneric使用参数声明的能力似乎auto&创造了一种奇怪的情况，该函数可用于实现多个调度。

使用“-fconcepts-ts”标志在 gcc 10.1 或更高版本上测试，也可以通过编译器资源管理器在 x86-64 clang（旧概念分支）上工作。

#include <iostream>

void testGeneric(auto &g)
{
    g.print();
};

struct Generic
{
    bool value = false;

    void print() {
        std::cout << value << std::endl;
    };
};

auto main() -> int
{

    auto foo = Generic();

    auto bar = []() {
        struct Generic
        {
            int value;
            Generic(int v) : value(v){};

            void print() {
                std::cout << value << std::endl;
            };
        };
        return Generic{123};
    }();

    auto baz = []() {
        struct Generic
        {
            const char* value;
            Generic(const char* v) : value(v){};

            void print() {
                std::cout << value << std::endl;
            };
        };
        return Generic{"What the... ?"};
    }();


    testGeneric(foo); // prints 0 (false)
    testGeneric(bar); // prints 123
    testGeneric(baz); // prints "What the... ?"
};

Answer 1

testGeneric是一个缩写的函数模板。它在功能上等同于模板声明

template <class T>
void testGeneric(T &g)
{
    g.print();
};

您的代码将有 3 个不同的testGeneric函数，一个用于您调用它的每种类型。