如何在C++中实现模板类方法的静态条件编译与特化？

方法一：使用C++17的if constexpr（推荐） #

普通if是运行时分支，编译器实例化模板时会解析所有分支的代码，哪怕条件是编译期已知的false，因此会触发inet_socket没有path成员的错误。而if constexpr是编译期分支，不符合条件的分支不会被实例化，完美解决问题：

#include <cstdio>
#include <cstdint>
#include <type_traits>
#include <cstdio> // std::remove需要此头文件

class inet_socket {
    uint32_t ip;
};
class unix_file_socket {
    char path[64];
};

template <typename protocol>
class server
{
public:
    protocol socket;
    void do_something();
};

template <typename protocol>
void server<protocol>::do_something()
{
    /* ... 其他通用逻辑 ... */
    if constexpr (std::is_same_v<protocol, unix_file_socket>)
    {
        std::remove(socket.path);
    }
}

int main()
{
    server<inet_socket> srv;
    srv.do_something(); // 编译通过，不会执行remove分支
    server<unix_file_socket> srv_unix;
    srv_unix.do_something(); // 正常执行remove逻辑
}

方法二：C++17之前用SFINAE实现重载 #

如果项目需要兼容C++17之前的版本，可以借助std::enable_if实现基于类型的重载，避免无效代码的实例化：

#include <cstdio>
#include <cstdint>
#include <type_traits>
#include <cstdio>

class inet_socket {
    uint32_t ip;
};
class unix_file_socket {
    char path[64];
};

template <typename protocol>
class server
{
public:
    protocol socket;
    void do_something();

    // 仅当protocol是unix_file_socket时启用
    template <typename T = protocol>
    typename std::enable_if<std::is_same<T, unix_file_socket>::value>::type
    remove_socket()
    {
        std::remove(socket.path);
    }

    // 其他类型时启用
    template <typename T = protocol>
    typename std::enable_if<!std::is_same<T, unix_file_socket>::value>::type
    remove_socket()
    {
        // 空实现
    }
};

template <typename protocol>
void server<protocol>::do_something()
{
    /* ... 其他通用逻辑 ... */
    remove_socket();
}

int main()
{
    server<inet_socket> srv;
    srv.do_something();
    server<unix_file_socket> srv_unix;
    srv_unix.do_something();
}

方法三：特化成员函数 #

针对特定类型直接特化do_something成员函数，分离不同类型的逻辑：

#include <cstdio>
#include <cstdint>
#include <type_traits>
#include <cstdio>

class inet_socket {
    uint32_t ip;
};
class unix_file_socket {
    char path[64];
};

template <typename protocol>
class server
{
public:
    protocol socket;
    void do_something();
};

// 通用版本：处理非unix_file_socket的情况
template <typename protocol>
void server<protocol>::do_something()
{
    /* ... 通用逻辑 ... */
}

// 特化版本：仅处理unix_file_socket
template <>
void server<unix_file_socket>::do_something()
{
    /* ... 通用逻辑 ... */
    std::remove(socket.path);
}

int main()
{
    server<inet_socket> srv;
    srv.do_something();
    server<unix_file_socket> srv_unix;
    srv_unix.do_something();
}

你之前的错误原因 #

你尝试特化类模板的成员模板时，C++标准不允许在外层类模板未被显式特化的情况下，直接特化其内部的成员模板。也就是说，必须先特化整个server类，才能特化它的remove_socket成员模板，这显然不符合你想要复用通用逻辑的需求，因此这种写法会触发编译错误。

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