C++模板类析构函数兼容指针与非指针类型编译错误求解

你遇到的编译错误本质是普通if分支是运行时判断逻辑，编译阶段会扫描所有代码分支的合法性，不会因为is_pointer<T>::value为false就跳过delete val的语法检查。当T为非指针类型（比如示例里的std::string）时，delete非指针对象的代码本身语法不合法，直接触发编译报错，和运行时的if判断逻辑无关。

该问题和类的声明、定义是否拆分无关，不需要做拆分操作。有两种常见实现路径，都不需要单独为指针类型编写外层处理函数：

方案1：C++17及以上版本使用if constexpr（最简洁） #

if constexpr是编译期分支判断，不满足条件的分支会在编译阶段直接丢弃，不会参与代码生成，自然不会触发语法检查报错。需要包含<type_traits>头文件使用std::is_pointer。

#include <iostream>
#include <string>
#include <type_traits>

using namespace std;

template<class T>
class temp
{
public:
  T val;

  temp(T value) : val(value) {}
  ~temp()
  {
    // 编译期分支判断，不满足的分支不会被编译
    if constexpr (is_pointer<T>::value)
    {
      delete val;
    }
  }
};

int main()
{
  string * n = new string("cat");
  temp<string*> object(n); // 正常运行，析构时自动delete指针

  temp<string> object2("dog"); // 编译通过，析构时不会执行delete逻辑
  return 0;
}

方案2：C11/C14兼容方案（标签分发） #

如果你的编译器不支持C++17，可以用标签分发实现编译期分支选择，所有处理逻辑都封装在类内部，不需要额外编写外层指针处理函数：

#include <iostream>
#include <string>
#include <type_traits>

using namespace std;

template<class T>
class temp
{
private:
  // 指针类型的销毁逻辑
  void destroy(std::true_type /* is_pointer */)
  {
    delete val;
  }
  // 非指针类型的销毁逻辑
  void destroy(std::false_type /* is_pointer */)
  {
    // 空实现，不需要额外处理
  }
public:
  T val;

  temp(T value) : val(value) {}
  ~temp()
  {
    // 根据T是否为指针，编译期选择对应的destroy实现
    destroy(typename is_pointer<T>::type());
  }
};

int main()
{
  string * n = new string("cat");
  temp<string*> object(n);

  temp<string> object2("dog");
  return 0;
}

内容的提问来源于stack exchange，提问作者mRQwerTY