C++中如何无需强制类型转换实例化Point<oint128_t>类模板

目标是直接传入整型字面量实例化Point<oint128_t>对象，不使用显式类型转换的写法。当前直接传入90、5这类整型字面量时，编译器会将参数识别为普通整型触发编译错误，仅当手动将参数强转为oint128_t时才能编译通过。
代码中使用boost::optional封装int128_t，是为了支持传入boost::none，作为C++中对应Python None的等效实现。

复现代码如下：

#include <boost/multiprecision/cpp_int.hpp>
#include <boost/optional.hpp>
using namespace boost::multiprecision;

template<class T>
struct Point
{
    explicit Point(T x, T y): x (x), y (y){}
    T x;
    T y;
};

typedef boost::optional<int128_t> oint128_t;
int main(){
    // Point<oint128_t> P(90, 5); // 编译失败
    Point<oint128_t> Q((oint128_t) 91, (oint128_t) 31); // 编译通过
}

编译失败原因：boost::optional<int128_t>接收整型值构造时存在显式约束，编译器不会在函数调用时自动完成int→int128_t→boost::optional<int128_t>的多步用户定义隐式转换。

方案1：修改Point构造函数（推荐） #

调整Point的构造函数逻辑，新增泛型重载支持接收可转换为T的参数类型，不需要改动任何上层调用代码，修改后完整代码如下：

#include <boost/multiprecision/cpp_int.hpp>
#include <boost/optional.hpp>
#include <type_traits>
#include <utility>
using namespace boost::multiprecision;

template<class T>
struct Point
{
    // 保留原有构造，支持直接传入T类型、boost::none的场景
    explicit Point(T x, T y): x (std::move(x)), y (std::move(y)){}
    
    // 新增泛型构造重载，支持传入可转换为T的类型（如整型字面量）
    template<class U1, class U2,
             class = std::enable_if_t<
                 !std::is_same_v<std::decay_t<U1>, T> &&
                 std::is_constructible_v<T, U1> &&
                 std::is_constructible_v<T, U2>
             >>
    Point(U1&& x, U2&& y)
        : x(std::forward<U1>(x)), y(std::forward<U2>(y))
    {}

    T x;
    T y;
};

typedef boost::optional<int128_t> oint128_t;
int main(){
    Point<oint128_t> P(90, 5); // 直接传字面量可正常编译
    Point<oint128_t> Q(boost::none, 31); // 保留对boost::none的支持
    Point<oint128_t> R((oint128_t)91, (oint128_t)31); // 原有强转写法兼容
}

该方案的特点：

• 新增泛型构造与原构造函数无冲突，传入参数为T类型时会优先匹配原有构造
• 通过std::is_constructible_v做类型约束，仅允许传入可合法构造T的参数，不会放开不合理的隐式转换
• 完全兼容原有所有写法，不需要修改上层实例化逻辑

方案2：自定义字面量（轻量可选） #

如果不想修改Point结构体的实现，可以自定义用户字面量简化书写，避免每次写完整的强转语句：

oint128_t operator""_o(unsigned long long v) {
    return oint128_t(static_cast<int128_t>(v));
}

int main() {
    Point<oint128_t> P(90_o, 5_o); // 加后缀即可，不需要写全类型强转
}

该方案需要给每个整型字面量加后缀，简洁性不如方案1。

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