0

我不确定在各种情况下右值和左值的确切机制。让我举个例子。

#include <iostream>

void f() { std::cout << "Hello\n"; }

template<typename T>
void g0(T&& a) {
    a();
}

template<typename T>
void g1(T& a) {
    a();
}

template<typename T>
void g2(T a) {
    a();
}

int main() {

    printf("%p, %p\n", f, &f); // f and &f are same

    g0(f); // (1)
    g0(&f); // (2)

    g1(f); // (3)
//    g1(&f); // (4) compile error !!

    g2(f); // (5)
    g2(&f); // (6)
}

我的问题

  1. 函数名 f 和 f(=> &f) 之前的 & 都只是函数指针。我对么 ？
  2. 当我将函数名称或带有函数名称的 & 传递给 (1)、(2)、(3)、(4)、(5)、(6) 等各种函数的参数时会发生什么？
  3. (4) 有编译错误。f 和 &f 在我的理解下是相同的，但为什么会这样？我知道如果我使用诸如“void g1(const T& a)”之类的 const 可以编译它，但我不知道为什么。

错误信息是：

candidate function [with T = void (*)()] not viable: no known conversion from 'void (*)()' to 'void (*&)()' for 1st argument
void g1(T& a)...
4

0 回答 0