主页 / coding / 问题 / 76987883
Accepted
vtm11
Asked: 2023-08-28 00:00:01 +0800 CST

调用函数类型别名而不是函数

  • 772

考虑以下代码：

#include <iostream>

using f = void(std::string);

void fcorrect(f func, std::string s) {
    func(s); // calling function
};

void fmistake(f func, std::string s) {
    f(s); // calling type alias instead of function
};

void myprint(std::string s) {
    std::cout << s << std::endl;
};

int main() {
    std::string s = "message";
    fcorrect(myprint, s);
    fmistake(myprint, s);
    return 0;
}

函数fcorrect接收myprint函数和字符串作为参数，并按预期打印该字符串。函数fmistake包含一个故意的错误 - 它调用类型别名 f而不是函数func。它什么也不打印。

我想知道当后一个函数调用发生时，幕后发生了什么？即，为什么没有抛出编译时或运行时错误？

c++

1 个回答

  1. Best Answer

    正如评论者所说，f(s)这是一个声明。关键的文字在这里：

    涉及表达式语句和声明的语法存在歧义：以函数式显式类型转换作为其最左侧子表达式的表达式语句与第一个声明符以 开头的声明无法区分。在这些情况下，该声明被视为声明，除非下面指定。(

    [示例 2：

    class T { /* [...] */ };
// [...]
T(a);   //  declaration
// [...]

    --结束示例]

    - [stmt.ambig] p1

    类型是什么（类、函数等）并不重要，T(a)如果T命名了一个类型，那么它就是一个声明。

    该声明f(s)在这里不执行任何操作，因为它没有被使用，并且相当于f sor void s(std::string)。s在此上下文中已经是函数参数std::string s，因此 GCC 允许它是错误的。海湾合作委员会还允许：

    void fmistake(f func, std::string s) {
    void s(std::string);
}

// GCC also allows the following (in C++ mode)
void foo(int x) {
    // GCC rejects this as re-declaring a symbol in C, but not in C++ mode.
    void x(int);
}

    这是一个已知的GCC bug 52953，于 2012 年首次报告。

    • 3

相关问题