Question

https://en.cppreference.com/w/cpp/memory/unique_ptr/make_unique写道std::make_unique可以实现为

template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args)
{
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

这不适用于没有构造函数的纯结构。可以将它们初始化，但没有非默认构造函数。示例：

#include <memory>
struct point { int x, z; };
int main() { std::make_unique<point>(1, 2); }

Compiling this将使编译器抱怨缺少2参数的构造函数，这是正确的。

我想知道，是否有任何技术上的理由不根据大括号初始化来定义函数？如

template<typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args)
{
    return std::unique_ptr<T>(new T{std::forward<Args>(args)...});
}

上述情况的works well enough。还有其他合法的用例会破坏吗？

看到总体趋势如何倾向于使用括号进行初始化，我认为在模板中制作括号是一种典型的选择，但是标准不这样做的事实可能表明我缺少某些东西。 / p>

Answer 1

某些类的两种初始化样式具有不同的行为。例如

std::vector<int> v1(1, 2); // 1 element with value 2
std::vector<int> v2{1, 2}; // 2 elements with value 1 & 2

可能没有足够的理由选择一个偏爱另一个。我认为该标准只是选择一个，然后明确说明该决定。

作为解决方法，您可能想要实现自己的make_unique版本。如您所显示，这不是一项艰巨的工作。

Answer 2

在C ++ 20中，它将编译：

std::make_unique<point>(1, 2);

由于新规则allowing initializing aggregates from a parenthesized list of values。

在C ++ 17中，您可以执行以下操作：

std::unique_ptr<point>(new point{1, 2});

但这不适用于make_shared。因此，您也可以创建一个工厂（作为练习向左转发）：

template <typename... Args>
struct braced_init {
    braced_init(Args... args) : args(args...) { }
    std::tuple<Args...> args;

    template <typename T>
    operator T() const {
        return std::apply([](Args... args){
            return T{args...};
        }, args);
    }
};

std::make_unique<point>(braced_init(1, 2));

在C ++ 14中，您必须实现apply并为braced_init写一个工厂函数，因为还没有CTAD-但这是可行的。

了解总体趋势如何倾向于使用括号进行初始化

需要引用。这是一个收费的话题-但我绝对不同意这一说法。

Answer 3

除了其他答案， Alisdair Meredith 在C ++ 17上的presentation中提供了make_unique的以下实现：

template<typename T, typename... Args>
auto make_unique(Args&&... args) -> std::unique_ptr<T> {
    if constexpr (std::is_constructible<T, Args...>::value)
        return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
    else
        return std::unique_ptr<T>(new T{std::forward<Args>(args)...});
}

它使用C + 17 if constexpr，但如果没有它，很容易被重写。

使用此版本，您可以同时执行

auto v = make_unique<std::vector<int>>(10, 20); // *v is a vector of 10 elements

和

auto p = make_unique<point>(10, 20); // *p is a point (10, 20)

使用括号初始化的make_unique

3 个答案: