Question

std::forward_list提供了可能不需要实际访问insert_after对象的erase_after和std::forward_list个成员。因此，它们可以实现为static成员函数，并且可以在没有列表对象的情况下调用 - 对于想要从列表中删除自身的对象非常有用，这是一种非常常见的用法。编辑：此优化仅适用于forward_list或用户定义的无状态分配器上的std::allocator专精。

符合标准的实现能否做到这一点？

§17.6.5.5/ 3说

对C ++标准库中描述的成员函数签名的调用就像实现一样声明没有其他成员函数签名。

带脚注

有效的C ++程序始终调用预期的库成员函数或具有等效行为的函数。实现还可以定义其他成员函数，否则这些函数将不会被有效的C ++程序调用。

我不清楚添加static是否会创建“不同的”成员函数，但删除（隐式）参数不应该破坏任何添加默认参数的东西，这是合法的。（您不能合法地将PTMF带到任何标准成员函数。）

让我觉得应该允许图书馆这样做，但我不确定是否会破坏某些规则。列出的成员函数原型是如何规范的？

Answer 1

标准规定，如果没有人能说出差异，你就可以逃脱它。你是正确的，不能合法地在forward_list创建一个PTMF，所以你这样安全。

已经指出了自定义分配器的危险性。但即使是std::allocator<T>，也有可能会有人专攻std::allocator<MyType>，然后检测到allocator::construct/destroy没有被调用。

好的，但是可以专门说std::forward_list<int>（没有自定义分配器，没有用户定义的value_type）并使insert_after静态吗？

没有。使用新的SFINAE功能可以检测到这种变化。这是一个演示：

#include <memory>
#include <iostream>

template <class T, class A = std::allocator<T>>
class forward_list
{
public:
    typedef T value_type;
    struct const_iterator {};
    struct iterator {};

    iterator insert_after(const_iterator p, const T& x);
};

template <class C>
auto test(C& c, typename C::const_iterator p, const typename C::value_type& x)
    -> decltype(C::insert_after(p, x))
{
    std::cout << "static\n";
    return typename C::iterator();
}

template <class C>
auto test(C& c, typename C::const_iterator p, const typename C::value_type& x)
    -> decltype(c.insert_after(p, x))
{
    std::cout << "not static\n";
    return typename C::iterator();
}

int main()
{
    ::forward_list<int> c;
    test(c, ::forward_list<int>::const_iterator(), 0);
}

此程序运行并打印出来：

not static

但如果我让insert_after静态：

static iterator insert_after(const_iterator p, const T& x);

然后我得到编译时错误：

test.cpp:34:5: error: call to 'test' is ambiguous
    test(c, ::forward_list<int>::const_iterator(), 0);
    ^~~~
test.cpp:16:6: note: candidate function [with C = forward_list<int, std::__1::allocator<int> >]
auto test(C& c, typename C::const_iterator p, const typename C::value_type& x)
     ^
test.cpp:24:6: note: candidate function [with C = forward_list<int, std::__1::allocator<int> >]
auto test(C& c, typename C::const_iterator p, const typename C::value_type& x)
     ^
1 error generated.

检测到差异。

因此，它不符合使forward_list::insert_after静态。

<强>更新

如果你想让“静态”过载可调用，你只需要使它比“非静态”过载更令人满意。一种方法是将“非静态”重载更改为：

template <class C, class ...Args>
auto test(C& c, typename C::const_iterator p, const typename C::value_type& x, Args...)
    -> decltype(c.insert_after(p, x))
{
    std::cout << "not static\n";
    return typename C::iterator();
}

现在测试将打印出“静态”或“非静态”，具体取决于insert_after成员函数是否为静态。

std :: forward_list成员可以实现为静态吗？

1 个答案: