Как создать шаблон функции отдельно для знаковых и беззнаковых чисел

@yanich89 · Регистрация: 22.09.2017

Студворк — интернет-сервис помощи студентам

Имеется задача, создать шаблонную функцию для конвертации числа в строку. Но проблема в том, что при вызове функции sprintf и ей подобных надо в строке формата жёстко зашивать знаковость числа. Как указать в шаблоне, что он только для знаковой переменной (или бесзнаковой)?

Вот моя реализация шаблона:

C++
1
2
3
4
5
6
7
template <typename A>
CString ToString(A nValue)
{
    char acBuf[20];
    snprintf(acBuf, sizeof(acBuf), "%lu", long(nValue));
    return CString(acBuf);
}

Если шаблону передать знаковый тип, компилятор выдаёт предупреждение на функцию sprintf. Типа формат бесзнаковый, а аргумент знаковый.

@zss · 09.02.2018, 12:21

А так разве нельзя

C++
1
snprintf(acBuf, sizeof(acBuf), "%lu", (unsigned long)nValue );

@New man · 09.02.2018, 13:42

C++
1
2
3
4
5
6
7
8
9
10
#include <type_traits>
 
template <typename A>
CString ToString(A nValue)
{ 
    static_assert(!std::is_signed<A>::value, "Only unsigned types supported");
    char acBuf[20];
    snprintf(acBuf, sizeof(acBuf), "%lu", long(nValue));
    return CString(acBuf);
}

Добавлено через 13 секунд
http://en.cppreference.com/w/cpp/types/is_signed

@yanich89 · 09.02.2018, 14:17 **[ТС]**

Сообщение от zss

А так разве нельзя
C++Выделить код
1
snprintf(acBuf, sizeof(acBuf), "%lu", (unsigned long)nValue );

При таком варианте ВСЕГДА будут отображаться бесзнаковые числа. И при передаче в функцию отрицательного числа будет выводиться бред. А мне нужно, чтобы один шаблон правильно работал и с знаковыми и бесзнаковыми числами.

Добавлено через 3 минуты

Сообщение от New man

1

C++
1
2
3
4
5
6
7
8
9
#include <type_traits>
template <typename A>
CString ToString(A nValue)
{ 
* * static_assert(!std::is_signed<A>::value, "Only unsigned types supported");
* * char acBuf[20];
* * snprintf(acBuf, sizeof(acBuf), "%lu", long(nValue));
* * return CString(acBuf);
}

Мне нужно, чтобы один шаблон правильно работал и с знаковыми и бесзнаковыми числами. Ваш вариант не подходит.

@outoftime · 09.02.2018, 14:49

yanich89,

C++
1
static_assert(!std::is_signed<A>::value || std::is_signed<A>::value, "Only unsigned types supported");

Добавлено через 3 минуты

Сообщение от yanich89

При таком варианте ВСЕГДА будут отображаться бесзнаковые числа. И при передаче в функцию отрицательного числа будет выводиться бред. А мне нужно, чтобы один шаблон правильно работал и с знаковыми и бесзнаковыми числами.

https://www.cyberforum.ru/cpp-... ment3.html
3.1 Уважительно относитесь к другим участникам форума.

Croessmah · 09.02.2018, 15:07

C++
1
2
3
4
5
6
7
8
9
10
template <typename A>
CString ToString(A nValue)
{
    constexpr bool is_signed = std::numeric_limits<A>::is_signed;
    constexpr static char const * spec[2] = {"%lu", "%ld"};
    using value_t = typename std::conditional<is_signed, long, unsigned long>::type;
    char acBuf[std::numeric_limits<value_t>::digits10 + 2];
    snprintf(acBuf, sizeof(acBuf), spec[is_signed], static_cast<value_t>(nValue));
    return CString(acBuf);
}

пойдет?

@yanich89 · 09.02.2018, 16:40 **[ТС]**

Сообщение от outoftime

3.1 Уважительно относитесь к другим участникам форума.

Я Вас понял, про уважение. Но не понял, в каком месте своих посланий я нарушил данное правило. Но всё равно извиняюсь.

Добавлено через 2 минуты

Сообщение от Croessmah

C++
1
2
3
4
5
6
7
8
9
10
template <typename A>
CString ToString(A nValue)
{
* * constexpr bool is_signed = std::numeric_limits<A>::is_signed;
* * constexpr static char const * spec[2] = {"%lu", "%ld"};
* * using value_t = typename std::conditional<is_signed, long, unsigned long>::type;
* * char acBuf[std::numeric_limits<value_t>::digits10 + 2];
* * snprintf(acBuf, sizeof(acBuf), spec[is_signed], static_cast<value_t>(nValue));
* * return CString(acBuf);
}

пойдет?

К сожалению нет. Я не использую STL. Если Вы мне подскажите как реализовать данную функциональность самому, буду очень благодарен.

@outoftime · 09.02.2018, 16:45

Сообщение от yanich89

Я не использую STL

Может вам тогда лучше писать на Си?

Добавлено через 3 минуты

Сообщение от yanich89

как реализовать данную функциональность самому

http://en.cppreference.com/w/cpp/types/is_signed Possible implementation

Croessmah · 09.02.2018, 16:57

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
namespace details
{
    template<bool>
    struct is_signed_impl
    {
        enum {
            value = 1
        };
    };
 
 
    template<>
    struct is_signed_impl<false>
    {
        enum {
            value = 0
        };
    };
}
 
 
 
template<typename T>
struct is_signed
{
    enum {
        value = details::is_signed_impl<T(-1) < T(0)>::value
    };
};
 
template<bool Cond, typename T1, typename T2>
struct conditional
{
    typedef T1 type;
};
 
template<typename T1, typename T2>
struct conditional<false, T1, T2>
{
    typedef T2 type;
};
 
 
template <typename A>
CString ToString(A nValue)
{
    static bool const type_is_signed = is_signed<A>::value;
    static char const * const spec[2] = {"%lu", "%ld"};
    typedef typename conditional<type_is_signed, long, unsigned long>::type value_t;
    char acBuf[20];
    snprintf(acBuf, sizeof(acBuf), spec[type_is_signed], static_cast<value_t>(nValue));
    return CString(acBuf);
}

Заодно от C++11 избавился.

@outoftime · 09.02.2018, 17:11

Сообщение от Croessmah

static bool const

Только вот разве, если вызвать функцию с знаковыми и беззнаковыми эту переменную можно будет менять? Она же static и const

@yanich89 · 09.02.2018, 17:18 **[ТС]**

Сообщение от outoftime

Может вам тогда лучше писать на Си?

Если бы я писал на С, я бы не задавал вопросы про шаблоны. Просто мне не нужна лишняя библиотека в моём проекте. В контроллере, под который я пишу, крайне мало оперативки и памяти для хранения программы. По этому пока пишу без STL.

Сообщение от outoftime

http://en.cppreference.com/w/cpp/types/is_signed Possible implementation

Ходил по ссылке, смотрел. Рыл STL для Visual Studio, ничего не понял. Вот код, который меня интересует:

C++
1
2
3
4
5
6
7
8
template<class _Ty,
    bool = is_integral_v<_Ty>>
    struct _Sign_base
    {   // determine whether integral _Ty is a signed or unsigned type
    using _Uty = remove_cv_t<_Ty>;
    using _Signed = bool_constant<_Uty(-1) < _Uty(0)>;
    using _Unsigned = bool_constant<_Uty(0) < _Uty(-1)>;
    };

Что здесь означает

C++
1
using _Signed = bool_constant<_Uty(-1) < _Uty(0)>

?

Croessmah · 09.02.2018, 17:24

Сообщение от outoftime

Только вот разве, если вызвать функцию с знаковыми и беззнаковыми эту переменную можно будет менять? Она же static и const

Разные типы - разные функции. У каждой будет своя константа is_signed, от которой, компилятор, скорее всего избавится. Но можно и руками от неё избавиться. Да и массив тоже не особо нужен.

@outoftime · 09.02.2018, 17:38

Сообщение от yanich89

Что здесь означает

Тоже что и

Сообщение от Croessmah

details::is_signed_impl<T(-1) < T(0)>

Посмотрите его реализацию, это в точности то что вы хотели.

Croessmah · 09.02.2018, 17:43

Еще можно так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
template<bool, typename T>
struct enable_if
{
   using type = T;
};
 
template<typename T>
struct enable_if<false, T>
{
};
 
 
template<typename T>
typename enable_if<(T(-1) < T(0)), CString>::type ToString(T nValue)
{
    char acBuf[20];
    snprintf(acBuf, sizeof(acBuf), "%ld", static_cast<long>(nValue));
    return CString(acBuf);
}
 
 
template<typename T>
typename enable_if<(T(-1) > T(0)), CString>::type ToString(T nValue)
{
    char acBuf[20];
    snprintf(acBuf, sizeof(acBuf), "%lu", static_cast<unsigned long>(nValue));
    return CString(acBuf);
}

Или даже вынести внутренности в две какие-нибудь ToStringImpl, а в шаблоне оставить только их вызов с преобразованием к нужному типу.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .