4

Clang 3.2下面代码报错，不明白为什么会出现问题。该错误仅发生在模板函数中，并且仅在使用大括号进行初始化时发生。其他两个初始化按预期工作。

struct foo {
    foo() { }
    ~foo() = default;
    // deleted
    foo(const foo& rhs) = delete;
    foo(foo&& rhs) noexcept = delete;
    auto operator=(const foo& rhs) -> foo& = delete;
    auto operator=(foo&& rhs) noexcept -> foo& = delete;
};

template <typename Type>
void bar() {
    foo a; // OK
    foo b{}; // ERROR
}

int main() {
    foo c{}; // OK
    bar<int>();
}

如果我用 编译代码clang++ -Wall -std=c++11 -c，Clang 会打印以下错误消息：

bug.cpp:14:9: error: conversion function from 'foo' to 'foo' invokes a deleted function
    foo b{}; // ERROR
        ^
bug.cpp:19:5: note: in instantiation of function template specialization 'bar<int>' requested
      here
    bar<int>();
    ^
bug.cpp:6:5: note: function has been explicitly marked deleted here
    foo(foo&& rhs) noexcept = delete;
    ^
1 error generated.

我不知道为什么 Clang 会尝试进行转换。这听起来像一个错误。不幸的是，我在更复杂的代码库中遇到了问题，其中解决方案不像删除大括号那么容易。

为什么 Clang 在这种情况下需要转换？我怎样才能让它正常工作？

4

1 回答 1

5

这绝对是一个错误。没有理由尝试调用移动构造函数，因为您有一个默认初始化：

foo b{}; // Same as "foo b;" in any case

如果涉及复制初始化，情况会有所不同，但事实并非如此。

此外，您的代码在 GCC 4.7.2 上编译得很好。

于 2013-05-09T17:04:03.597 回答