Странное поведение синонимов классов

@MrAndrey_ka · Регистрация: 13.05.2009

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

создал свой класс:

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
template <class Type>
template <class Type>
class VRTSmartStr {
#define TSmartString VRTSmartStr<Type>
private:    
    typedef typename Type* P_Str;
    P_Str Buf = NULL;
 
    void SetValue(size_t Size, const P_Str Val, size_t Len){
    }
    
public:
    VRTSmartStr(const Type* Val, size_t Size = 0){
        SetValue(5, Val, 5); // ТУТ РУГАЕТСЯ
        };
 
    const P_Str Data()const{ return Buf; }
 
    operator VRTSmartStr<Type>&()const { return *(VRTSmartStr<Type>*)this; }
    };
 
////////////////////////////////////// VRTSmartStr /// END /////////////////////////////////
 
#define SmartStrA   VRTSmartStr<char>
#define SmartStrW   VRTSmartStr<WCHAR>
 
#ifdef UNICODE
#define SmartStr    SmartStrW
#else
#define SmartStr    SmartStrA
#endif

И собственно сам инициализация

C++
1
2
3
CString B("Алена и Ваня");
SmartStr GT2(B); // ИЛИ ТУТ
}

в конструкторе ошибка
error C2664: "void VRTSmartStr<WCHAR>::SetValue(size_t,wcha r_t *const ,size_t)": невозможно преобразовать аргумент 2 из "const WCHAR *" в "wchar_t *const " ...test\class_mm.h

Если же изменить тип значения в конструкторе VRTSmartStr(const P_Str Val, size_t Size = 0)
тогда ругается при инициализации
error C2664: "VRTSmartStr<WCHAR>::VRTSmartStr(con st VRTSmartStr<WCHAR> &)": невозможно преобразовать аргумент 1 из "ATL::CString" в "wchar_t *const " ...test\main.cpp

хотя по сути Type* и P_Str это один и тот же тип...
как это побороть?

@TheCalligrapher · 23.11.2014, 11:58

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

хотя по сути Type* и P_Str это один и тот же тип...

Ну так речь-то в данном случае идет не о 'Type*' и 'P_Str', а о 'const Type*' и 'const P_Str'. А это уже совсем разные типы.

Тип 'const P_Str' эквивалентен типу 'Type* const'. А это совсем не то же самое, что 'const Type*'.

Как это побороть? Перестать заниматься такой ерундой, как сокрытие указательных типов за typedef именами. Это - плохая практика. Убрать нафиг этот 'P_Str' и забыть про него навсегда. Везде писать открытым текстом: 'Type *', 'const Type *' или 'Type *const' и т.д. и т.п., чтобы сразу было видно, что именно имеется в виду.

В данном случае должно быть

C++
1
2
3
4
5
Type *Buf = NULL;
 
void SetValue(size_t Size, const Type* Val, size_t Len);
 
VRTSmartStr(const Type* Val, size_t Size = 0);

P.S. Отдельные вопросы вызывают вот эти #define. А чем typedef не угодил?

P.P.S. А это что за ужас, летящий на крыльях ночи?

C++
1
operator VRTSmartStr<Type>&()const { return *(VRTSmartStr<Type>*)this; }

Кому и зачем такое извращение понадобилось?

@MrAndrey_ka · 23.11.2014, 16:31 **[ТС]**

да но так вылазит следующая проблема:
елси написать

C++
1
2
3
inline friend TSmartString operator + (const P_Str Val1, const TSmartString& Val2);
template <class Type2>
inline friend TSmartString operator + (const Type2 Val1, const TSmartString& Val2);

то
GT2 = L"qqqq"+GT2;
GT2 = B+GT2;
в обеих случаях произойдет вызов первого оператора
а вот если

C++
1
2
3
inline friend TSmartString operator + (const Type* Val1, const TSmartString& Val2);
template <class Type2>
inline friend TSmartString operator + (const Type2 Val1, const TSmartString& Val2);

то один вызовет верхний а второй нижний, и даже то что это приведет к тем же результатам, то по времени выполнения это совсем разные вещи
и чтобы перекрыть это поведение во втором случае придется писать еще 2 оператора
inline friend TSmartString operator + (Type* Val1 const, const TSmartString& Val2);
и
inline friend TSmartString operator + (Type* Val1, const TSmartString& Val2);

а это 3 идентичных функции с одинаковым кодом, и тоже самое придется делать для остальных операторов =, +=, << что вовсе не к месту.

Вообще то данный принцип подсмотрел у того же CString

Добавлено через 21 минуту
помогло следующее:
typedef typename Type* P_Str;
typedef typename const Type* PС_Str;
P_Str Buf = NULL;

void SetValue(size_t Size, PС_Str Val, size_t Len);

VRTSmartStr(PС_Str Val, size_t Size = 0);

Новые блоги и статьи Все статьи Все блоги /
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. Пошагово создадим проект для загрузки изображения. . .