为什么g在通过const引用将未初始化值传递给函数时不报告警告？

Question

我正在查看前面问题中给出的代码，其中包括基本如下的代码：

bool (*uninitializedFunctionPointer)(int, int);
typedef std::multimap<int, std::string, bool(*)(int, int)> MultiMapType;
MultiMapType myMap(uninitializedFunctionPointer);

请注意（顾名思义）uninitializedFunctionPointer是一个未初始化的函数指针，它被传递到myMap的构造函数中。奇怪的是，当我用g 4.8.4和Wall-Werror编译这段代码时，它没有报告任何警告。但是，它确实报告了类似代码的错误：

bool (*uninitializedFunctionPointer)(int, int);
uninitializedFunctionPointer(137, 42);

由于调用函数指针触发了警告，但将其传递到multimap构造函数中却没有，因此我认为g并不关心将未初始化的值作为参数传递给函数。但是，此代码确实会触发警告：

void doSomething(bool (*function)(int, int)) {
    function(137, 42); // Problem if 'function' is uninitialized
}

bool (*uninitializedFunctionPointer)(int, int);
doSomething(uninitializedFunctionPointer); // Warning!

我去了multimap的cp首选项留档，看到multimap构造函数通过const引用接收它的比较器，所以我尝试编写这段代码：

typedef bool (*FunctionType)(int, int);
void doSomething(const FunctionType &function) {
    function(137, 42); // Problem if 'function' is uninitialized
}

bool (*uninitializedFunctionPointer)(int, int);
doSomething(uninitializedFunctionPointer);

而且，令人惊讶的是，这段代码编译得非常好，没有任何警告。我想这可能与函数指针有关，但看起来情况并非如此！以下是仅使用普通旧整数的相关代码：

void doSomething(const int &value) {
    std::cout << value << std::endl; // Problem if value is uninitialized
}

int uninitializedInt;
doSomething(uninitializedInt);

此代码在完全没有警告的情况下编译，即使启用了-Wall。

我知道编译器不需要对所有类型的编程错误发出警告，但g会检测到直接使用未初始化的变量并尝试按值将未初始化的变量传递给函数，这似乎非常不寻常，但不会通过const引用将未初始化的变量传递给函数时报告问题。

g为什么不在这里报告警告，有没有令人信服的原因？如中所示，是否有合理的代码可以通过const引用将未初始化的变量传递到函数中，而不触发某种未定义的行为？或者这只是编译器中的一个疏忽？




Answer 1

出现问题的原因是，给定一个引用，函数可能存储指针或引用。

typedef bool (*FunctionType)(int, int);

FunctionType *stored_function;

void doSomething(const FunctionType &function)
{
     stored_function = const_cast<FunctionType *>(&function);
}

void doSomethingElse(int a, int b)
{
     (*stored_function)(a, b);
}

bool a_function(int, int)
{
    // do something
    return false;
}


int main()
{
    FunctionType func;
    doSomething(func);

    func = a_function;

    doSomethingElse(1,2);
}

这将导致调用a_function（），无论对func的赋值是发生在doThings（）的调用之前还是之后。如果函数定义在不同的编译单元中，并且编译器对此类事情发出警告，则上述代码在某些情况下会发出虚假警告。

有类似的技术涉及将引用或指针存储为返回对象成员的函数，调用方稍后将使用该函数。如果这样一个对象的构造函数使用传递的引用初始化常量引用或指针，则不需要我在这里使用的const\u cast。

开发人员使用此类技术是否是一个好主意是另一回事——我当然认为上述技术很差。但是使用此类技术的开发人员倾向于直言不讳地抱怨“虚假”警告——包括在一些商业库中——因此编译器供应商宁愿不发出警告。