Trung tâm cá nhân
sách gpt4 ai đã đi

c++ - 依赖于 char 符号的专用结构模板

In lại 作者：行者123 更新时间：2023-12-05 01:04:37 27 4
mua khóa gpt4 Nike

我有一个函数 template void frobnicate()做的东西。我需要 T 成为少数几个选择类型之一，并且我需要一些关于这些类型的信息。我通过提供特征来做到这一点:

template
struct FrobnicationTraits
{
        static constexpr bool isValidFrobnicationType = false;
};

template<>
struct FrobnicationTraits
{
        static constexpr bool isValidFrobnicationType = true;
        static constexpr bool isUnsigned = true;
        static constexpr unsigned char minValue = 0;
        static constexpr unsigned char maxValue = 255;
        //Elided in each specialization: some other values that are needed by frobnicate()
};

template<>
struct FrobnicationTraits
{
        static constexpr bool isValidFrobnicationType = true;
        static constexpr bool isUnsigned = false;
        static constexpr signed char minValue = -128;
        static constexpr signed char maxValue = 127;
};

//Elided: versions for unsigned short and signed short

然后:

template<>::isValidFrobnicationType>::type>
void frobnicate()
{
    using Traits = FrobnicationTraits;
    auto promotedMinValue = +Traits::minValue;
    auto promotedMaxValue = +Traits::maxValue;
    std::cout << "Frobnicating with " << (Traits::isUnsigned ? "unsigned" : " signed") << " type of size " << sizeof(T) <<" between " << promotedMinValue << " and " << promotedMaxValue << std::endl;
    //...
}

这适用于这些调用:

int chính()
{
    frobnicate(); // Prints "Frobnicating with unsigned type of size 1 between 0 and 255"
    frobnicate< signed char>(); // Prints "Frobnicating with signed type of size 1 between -128 and 127"
    frobnicate(); // Prints "Frobnicating with unsigned type of size 2 between 0 and 65535"
    frobnicate< signed short>(); // Prints "Frobnicating with signed type of size 2 between -32768 and 32767"
    //frobnicate(); // Correctly fails to compile, because the enable_if is not satisfied, since FrobnicationTraits uses the default FrobnicationTraits where isValidFrobnicationType is false
    trả về 0;
}

但现在我希望能够正确 frobnicate() .
char被实现定义为有符号或无符号，但它总是被认为是与 ký tự không dấu 不同的类型和 signed char .所以只需调用 frobnicate()无法编译，因为它不会选择任何专门的 FrobnicationTraits。
我可以手动添加一个专业:

template<>
struct FrobnicationTraits
{
        static constexpr bool isValidFrobnicationType = true;
        static constexpr bool isUnsigned = true;
        static constexpr char minValue = 0;
        static constexpr char maxValue = 255;
};

但我无法提前知道这是否正确。事实上，我碰巧选择了错误的值，所以这会打印“Frobnicating with unsigned type of size 1 between 0 and -1”。

我想有效地做到这一点:

template<> // I don't know where to put the `std::enable_if<>` here, but use this if char is unsigned
struct FrobnicationTraits
{
        static constexpr bool isValidFrobnicationType = true;
        static constexpr bool isUnsigned = true;
        static constexpr char minValue = 0;
        static constexpr char maxValue = 255;
};

template<> // I don't know where to put the `std::enable_if<>` here, but use this if char is signed
struct FrobnicationTraits
{
        static constexpr bool isValidFrobnicationType = true;
        static constexpr bool isUnsigned = false;
        static constexpr char minValue = -128;
        static constexpr char maxValue = 127;
};

理想情况下，解决方案不应使用预处理器。

1 Câu trả lời

có std::is_signed 可以告诉你char签名与否。如果不需要区分charVà signed char/ký tự không dấu您可以通过 std::conditional 从其中任何一个继承来重用这些特征:

template<>
struct FrobnicationTraits : FrobnicationTraits<
                                      std::conditional_t<         
                                          std::is_signed_v, 
                                          signed char,
                                          ký tự không dấu
                                      >
                                  >
{};

也许使用帮助器:

using signed_or_unsigned_char = std::conditional_t<>,signed char, unsigned char>;

然后继承FrobnicationTraitsTừ FrobnicationTraits .

PS:请注意， std::numerical_limits 已经涵盖了您的一些特征功能。 .如果您使用 std::is_signed直接来说，你在 trait 中真正需要的只是 isValidFrobnicationType .

关于c++ - 依赖于 char 符号的专用结构模板，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/71839894/

27 4 0
Bài viết được đề xuất: c++ - memcpy 是否保留了琐碎对象的有效性？
Bài viết được đề xuất: javascript - .map() 函数返回一个数组数组而不是对象数组
Bài viết được đề xuất: kubernetes - 我可以在不丢失数据的情况下将 PVC 的访问模式从 RWO(标准存储类)更改为 RWX(NFS 存储类)吗？
Bài viết được đề xuất: python - 为什么在 Python 中使用 "SyntaxError: invalid syntax"时会得到 `match`？
行者123
Hồ sơ cá nhân

Tôi là một lập trình viên xuất sắc, rất giỏi!

Nhận phiếu giảm giá Didi Taxi miễn phí
Mã giảm giá Didi Taxi
Các bài viết nóng hổi trên toàn bộ trang web
Giấy chứng nhận ICP Bắc Kinh số 000000
Hợp tác quảng cáo: 1813099741@qq.com 6ren.com