基于C++模板bool参数确定构造函数入参类型的方案咨询

你构思的核心思路是对的，但原始写法存在语法错误：普通三元运算符无法直接操作类型，需要借助标准库的编译期类型选择工具修正后即可正常使用，修正后的实现如下：

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

template<bool isfloa>
class example{
public:
  // C++11 写法
  using dataType = typename std::conditional<isfloa, float, uint64_t>::type;
  // C++14 及以上可简写为 using dataType = std::conditional_t<isfloa, float, uint64_t>;
  example(dataType p){
    printf("sizeof p: %zu\n", sizeof(p));
  }
};

该方案逻辑简洁，对于仅需要根据模板参数切换参数类型的场景完全够用。

1. 模板全特化 #

如果两个分支下的类成员、构造逻辑差异较大，可以直接对类做全特化：

#include <cstdint>
#include <cstdio>

// 前置声明
template<bool isfloa>
class example;

// 特化isfloa为true的版本
template<>
class example<true>{
public:
  example(float p){
    printf("sizeof p: %zu\n", sizeof(p));
  }
};

// 特化isfloa为false的版本
template<>
class example<false>{
public:
  example(uint64_t p){
    printf("sizeof p: %zu\n", sizeof(p));
  }
};

2. C++17 if constexpr 写法 #

如果使用C++17及以上标准，可以用编译期分支直接实现更灵活的逻辑控制：

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

template<bool isfloa>
class example{
public:
  template<typename T>
  example(T p){
    static_assert(
      (isfloa && std::is_same_v<T, float>) || (!isfloa && std::is_same_v<T, uint64_t>),
      "parameter type mismatch"
    );
    if constexpr (isfloa) {
      printf("float version, sizeof p: %zu\n", sizeof(p));
      // 可直接添加仅float版本需要的逻辑
    } else {
      printf("uint64_t version, sizeof p: %zu\n", sizeof(p));
      // 可直接添加仅uint64_t版本需要的逻辑
    }
  }
};

3. SFINAE 构造函数限制（C11/C14兼容） #

如果需要兼容旧标准，且不想用类型别名的方式，可以通过SFINAE规则控制不同构造函数的启用条件：

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

template<bool isfloa>
class example{
public:
  template<typename T = float, typename = typename std::enable_if<isfloa, T>::type>
  example(T p){
    printf("sizeof p: %zu\n", sizeof(p));
  }

  template<typename T = uint64_t, typename = typename std::enable_if<!isfloa, T>::type>
  example(T p){
    printf("sizeof p: %zu\n", sizeof(p));
  }
};

• 原始代码中printf用%d输出sizeof的返回值存在类型不匹配问题，sizeof返回size_t类型，应当用%zu作为格式化符避免跨平台警告。

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