用`new`调用默认参数会导致内存泄漏吗？

Question

我正在尝试编写一个返回最大检测对象中心点的函数。这里没问题。问题是，如果用户想使用它，我还想从参数中返回前景掩码。

为了处理这种情况，我的解决方案如下：

cv::Point detect(const cv::Mat &img, cv::Mat &mask = *new cv::Mat());

如果指定了mask参数，则可以在main中使用。 RAII 在其他情况下是否有效，还是会出现内存泄漏？

注意：我知道我可以将函数重载2行，但我想知道是否可以通过使用默认参数而不是使用指针来正确执行（输入类型是严格的） .

另外说明：如果可以使用cv::noArray()或者类似的函数，那完全没问题。

示例用法：

char ch = 0;
while (ch != 27) // ESC is pressed
{
    cap >> img;
    if (img.empty())
        break;
    cv::Mat mask;
    cv::Point pt = detect(img, mask);
    // or pt = detect(img);
    cv::imshow("original", img);
    cv::imshow("foreground", mask);
    ch = cv::waitKey(1);
}

Answer 1

是的，这会导致内存泄漏。您可以考虑使用元组返回值：

std::tuple<cv::Point, cv::Mat> detect(const cv::Mat &img);

或将mask 设为指针：

cv::Point detect(const cv::Mat &img, cv::Mat *mask = nullptr);

您也可以尝试使用演员表保持相同的签名。这很难看，但它可能会起作用：

cv::Point detect(const cv::Mat &img, cv::Mat &mask = const_cast<cv::Mat&>(static_cast<cv::Mat const&>(cv::Mat())));

Answer 2

丑，但没有内存泄漏：

cv::Point detect(const cv::Mat &img, cv::Mat &mask = *std::make_unique<cv::Mat>());

如果用户不提供掩码，则会创建一个掩码。 detect 会将掩码写回，然后立即销毁。使用重载会更有效，因为它可以跳过不必要的更新。

或者，使用cv::Mat* mask = nullptr。我不知道您所说的“（输入类型是严格的）”是什么意思。但是对于有经验的 C++ 程序员来说，cv::Mat* mask = nullptr 模式很明确：可选的 out 参数，没有隐含的所有权转移。