c++ - 如何通过通用引用或 std::forward 将这三个 c++ 模板函数合并为一个？

Question

我把这些代码搞砸了

template <typename T, void (*Fn)(T *)>
struct CustomF1 final
{
  void operator()(T *p) const
  {
    if (p)
      Fn(p);
  }
};

template <typename T, void (*Fn)(T)>
struct CustomF2 final
{
  void operator()(T p) const
  {
    if (p)
      Fn(p);
  }
};

template <typename T, void (*Fn)(T **)>
struct CustomF3 final
{
  void operator()(T *p) const
  {
    if (p)
      Fn(&p);
  }
};

template<typename T>
void F1(T *p) {}

template<typename T>
void F2(T p) {}

template<typename T>
void F3(T **p) {}



template <typename T, typename Deleter = std::function<void(T *)>>
using CustomUPtr = std::unique_ptr<T, Deleter>;

using Pointer1 = CustomUPtr<Foo1, CustomF1<Foo1, F1>>;
using Pointer2 = CustomUPtr<Foo1, CustomF2<Foo1, F2>>;
using Pointer3 = CustomUPtr<Foo1, CustomF3<Foo1, F3>>;

我可以使用通用参考或 std::forward 或 if constexpr 或 enable_if 来放大这些代码。

unique_ptr 存储 T 的点（作为 T*），因为这些代码包装了第三方 c 代码，将结构的原始 malloc 包装成 RAII unique_ptr 样式。

只需合并三个 CustomF* 结构 -> 一个 CustomF0 结构

Answer 1

您可以使用auto非类型模板参数：

template <auto Deleter>
struct FunctionDeleter {
    template <typename U>
    void operator()(U* ptr) const {
        if (ptr) {
            Deleter(ptr);
        }
    }
};

FunctionDeleter<F1<int>>, FunctionDeleter<F2<int>>, 和FunctionDeleter<F3<int>>所有工作都很好，尽管有不同的函数指针类型。