我可以将各种类型元素插入到容器中吗？

Question

我尝试使用如下模板引发堆栈溢出：

#include <iostream>

using namespace std;

#define endl '\n'

template <class T>
// void next (T a) cout << a++ << endl;       // can't write in a line without {}
void next (T a)
{
    if (typeid(a) == typeid((char) 'a') || typeid(a) == typeid((unsigned char) 'a'))
    {
        cout << typeid(a).name() << " : " << (int) a << " + 1 = " << (int) ++a << " (converted to ASCII value)" << endl;    
    } else
    {
        cout << typeid(a).name() << " : " << a << " + 1 = " << ++a << endl;
    }
    // there will be more alternatives like type_info and so on ……
}

int main()
{
    next((char) CHAR_MAX);
    next((unsigned char) UCHAR_MAX);
    next((short) SHRT_MAX);
    next((unsigned short) USHRT_MAX);
    next((int) INT_MAX);
    next((unsigned int) UINT_MAX);
    next((bool) 1);                     // warning: use of an operand of type 'bool' in 'operator++' is deprecated

    return 0;
}

• 结果 ：

c : 127 + 1 = -128 (converted to ASCII value)
h : 255 + 1 = 0 (converted to ASCII value)
s : 32767 + 1 = -32768
t : 65535 + 1 = 0
i : 2147483647 + 1 = -2147483648
j : 4294967295 + 1 = 0
b : 1 + 1 = 1

这是我之前的一个高级代码，使用为每种数据类型重载类似的函数（太可惜了，所以它应该是秘密的）。

但是现在我有更多的问题，如果我可以在main()更多地压缩next()的系列。 我认为它似乎需要一个可以包含各种类型数据的容器； 例如， {short 1, int 10, long long 100} 。

感谢您的建议，最重要的是，请注意您的健康。

Answer 1

确实，我不知道你在问什么，所以我试着回答一些相关的问题，希望这会有所帮助:)

要查找类型T的最大值，请使用numeric_limits<T>::max()函数而不是宏。 这样你只能指定调用你的函数的类型：

next<char>();
next<unsigned char>();
next<short>();
...

在next的函数中，我可以看到您如何以特殊方式处理char类型。 有一个巧妙的技巧可以让您免于使用if 。 表达式+a （一元加）触发整数提升，因此至少会产生类型int ，它可以正确地打印为数字。 所以你可以像这样重写下next ：

template <class T>
void next()
{
  T a = std::numeric_limits<T>::max();
  T b = a + 1;
  std::cout << typeid(T).name() << " : " << +a << " + 1 = " << +b << std::endl;
}

回答你原来的问题，现在当你在next的调用中摆脱宏时，你可以“迭代”调用它的类型。 在 C++ 中，如果您需要“类型集合” T1 、 T2 、 T3 ，您通常使用std::tuple<T1, T2, T3> 。 但是，在这种特殊情况下，您不必将此“集合”存储在任何地方，使用可变参数模板和折叠表达式实际上更容易：

template<class... Ts>
void print() {
    (next<Ts>(), ...);
}

int main()
{
  print<char, unsigned char, short, int>();
}

注意表达式(next<Ts>(), ...); 扩展为(next<char>(), next<unsigned char>(), next<short>(), next<int>()); . 这是由运算符逗号分隔的多个调用。

最后一点，使用++a或a+1来查找“下一个”数字是不正确的，因为溢出的有符号整数类型是未定义的行为。 你不一定会得到预期的结果。