#include <climits>#include <concepts>#include <iostream>#include <limits> static_assert(sizeof(short)>=16/CHAR_BIT);static_assert(sizeof(unsignedshort)>=16/CHAR_BIT);static_assert(std::numeric_limits<short>::min()<=-32'768); //'static_assert(std::numeric_limits<short>::max()>=32'767); //'static_assert(std::numeric_limits<unsignedshort>::max()>=65'535u); //' // concepts are available since C++20static_assert(std::integral<short> andstd::integral<unsignedshort>); template<typename T,typename...Ts>concept all_same=(...andstd::same_as<T, Ts>); static_assert(all_same<short,shortint,signedshort,signedshortint>);static_assert(all_same<unsignedshort,unsignedshortint>); #define OUT(...) std::cout << #__VA_ARGS__ << " = " << __VA_ARGS__ << '\n' int main(){    OUT(sizeof(short));    OUT(sizeof(unsignedshort));    OUT(std::numeric_limits<short>::min());    OUT(std::numeric_limits<short>::max());    OUT(std::numeric_limits<unsignedshort>::max());} #undef OUT

sizeof(short) = 2sizeof(unsigned short) = 2std::numeric_limits<short>::min() = -32768std::numeric_limits<short>::max() = 32767std::numeric_limits<unsigned short>::max() = 65535