_mm_free 作为 unique_ptr 的删除器

Question

这是我在 Visual 2013 上的代码。 我需要有一个对齐的新。 我不能分配只是因为 A CTOR 做了一些有用的事情。

知道为什么这不能编译吗？

#include <memory>
#include <emmintrin.h>

struct A{
  A():b(0){b++;}
  int b;
};

template<typename T,int alignment>
inline T* aligned_new(){
    try{
        T*ptr = reinterpret_cast<T*>(_mm_malloc(sizeof(T),alignment));
        new (ptr) T;
        return ptr;
    }
    catch (...)
    {
        return nullptr;
    }
}
template<typename T>
inline void aligned_delete(T*ptr){
    _mm_free(ptr);
}


int main(int argc, char * argv[]){
  std::unique_ptr<A, aligned_delete<A>> var(aligned_new<A,16>);
  return 0;
}

解决方案

template<typename T>
struct aligned_delete {
  void operator()(T* ptr) const {
    _mm_free(ptr);
  }
};

Answer 1

aligned_delete<A> 是一个函数，而不是一个类型。

使用重载的函数调用运算符创建类型：

template<typename T>
struct aligned_delete {
    void operator()(T* ptr) const {
        _mm_free(ptr);
    }
};

Answer 2

您的异常处理有点不对劲，如果构造失败，您将泄漏分配的内存。如果_mm_malloc 返回nullptr，它也有未定义的行为。试试：

template<typename T, std::size_t alignment>
inline T* aligned_new(){
    void* ptr = _mm_malloc(sizeof(T), alignment);
    if (ptr) {
        try {
            return new (ptr) T;
        } catch(...) {
            _mm_free(ptr);
            throw;
        }
    }
    // throw std::bad_alloc();
    return nullptr;
}

（是的，这不是答案 - 这是一个过长的评论。）