make_shared 使用自定义新运算符

Question

这可能是重复的，但我无法在任何地方找到解决方案。

我有这样的源代码：

struct Blob{
    //...    

    static void *operator new(size_t size_reported, size_t size) {
        return ::operator new(size);
    }
};

我是这样使用的：

std::shared_ptr<Blob> blob;
// ...
size_t size = calcSize(); // it returns say 231
Blob *p = new(size) Blob();
blob.reset(p);

我能否以某种方式更改代码以便我可以使用 std::make_shared 或 std::allocate_shared 以便我使用 single allocation 而不是 two allocations？

更新

我能够消除 new 并将代码简化为以下内容：

struct Blob{
    //...    
};

std::shared_ptr<Blob> blob;
// ...
size_t size = calcSize(); // it returns say 231

// allocate memory
void *addr = ::operator new(size);

// placement new
Blob *p = ::new(addr) Blob();

blob.reset(p);

它做的事情完全一样，但我想现在我想做的事情更清楚了。

Answer 1

这是得出的结论。

由于无法将大小传递给分配器，您可以通过 global variable 或 class member.

在这两种情况下，解决方案都一点也不优雅，而且相当危险 - 灾难等待现在或以后需要维护代码时发生。

如果 allocate_shared 将 shared_ptr 控制块放在缓冲区 class 之后，可能会发生另一个意外问题。

在这种情况下会出现明显的缓冲区溢出，因为sizeof(buffer) 将报告大小为 1 个字节左右。

再说一遍 - 代码可以正常工作，但将来肯定会出现问题。

#include <stdio.h>
#include <string.h>

#include <memory>

// ============================

class buffer{
public:
    buffer(const char *s){
        strcpy(x, s);
    }

    char x[1];
};

// ============================

template <typename T>
struct buffer_allocator {
    using value_type = T;

    buffer_allocator() = default;

    template <class U>
    buffer_allocator(const buffer_allocator<U>&) {}

    T* allocate(size_t n) {
        void *p = operator new(n * sizeof(T));

        printf("Allocate   %p, (%zu)\n", p, get_size());

        return (T*) p;
    }

    void deallocate(T* p, size_t n) {
        delete p;

        printf("Deallocate %p, (%zu)\n", p, get_size());
    }

    size_t get_size(){
        return size;
    }

    void set_size(size_t size){
        this->size = size;
    }

private:
    size_t size = 0;
};

template <typename T, typename U>
inline bool operator == (const buffer_allocator<T>&, const buffer_allocator<U>&) {
  return true;
}

template <typename T, typename U>
inline bool operator != (const buffer_allocator<T>& a, const buffer_allocator<U>& b) {
  return !(a == b);
}

// ============================

int main(int argc, char *argv[]){
    buffer_allocator<buffer> ba;

    const char *s = "hello world!";

    ba.set_size( strlen(s) + 1 );

    auto b = std::allocate_shared<buffer>(ba, s);

    printf("Pointer    %p\n", b.get());

    printf("%s\n", b->x);
    printf("%zu\n", b.use_count());
    auto b1 = b;
    printf("%zu\n", b1.use_count());

    return 0;
}

make_shared 使用自定义新运算符

make_shared with custom new operator

c++

shared-ptr

new-operator

c++11

更新