Почему не работает шаблон?

[USBLexus]

Написал функцию шаблон:

template <typename T1, typename T2>
void FillToolTips(T1 ID, T2 szTipText);

template <typename T1, typename T2>
void CParamDlg::FillToolTips(T1 ID, T2 szTipText)
//
//Заполнение тултипов
//
{
for(int i=0; i<sizeof(ID)/sizeof(int); ++i)
     m_ToolTip.AddTool(GetDlgItem(ID[i]), szTipText[i]);
}

Вызываю так:

//Заполняем тултипы
static int ID[] =
        {
IDOK,
IDCANCEL
        };

      static char *szTipText[] =
      {
"Внести изменения и закрыть окно",
"Закрыть окно без учета изменений"
      };

  FillToolTips(ID, szTipText);

Получаю вот что:

error LNK2019: unresolved external symbol "protected: void __thiscall CParamDlg::FillToolTips<int *,char * *>(int *,char * *)" (??$FillToolTips@PAHPAPAD@CParamDlg@@IAEXPAHPAPAD@Z) referenced in function "private: virtual int __thiscall CLayerParamsDlg::OnInitDialog(void)" (?OnInitDialog@CLayerParamsDlg@@EAEHXZ)

Ну и что это еще значит??? :evil:

[michaelprog]

template <typename T1, typename T2>
void FillToolTips(T1 ID, T2 szTipText); //(1)

template <typename T1, typename T2>
void CParamDlg::FillToolTips(T1 ID, T2 szTipText)
{
for(int i=0; i<sizeof(ID)/sizeof(int); ++i)
 m_ToolTip.AddTool(GetDlgItem(ID[i]), szTipText[i]); // (2)
}

Остается только догадываться, что (1) объвлена в классе CParamDlg. (догадался  )
Выражение sizeof(ID)/sizeof(int) по всей видимости должно вычислять "размер массива", однако работать не будет, если вспомнить, как объявлены эти самые массивы, и как они передаются в функцию. Фактически ты вычисляешь отношение "размера указателя" к "размеру int" (и зачем это может быть нужно).

    static int ID[] =
 {
      IDOK,
      IDCANCEL
 };

 static char *szTipText[] =
 {
      "Внести изменения и закрыть окно",
      "Закрыть окно без учета изменений"
 };

    FillToolTips(ID, szTipText); //(3)

как можно видеть, в качетстве аргументов передаются указатель на одномерный массив целых чисел и указатель на двумерны массив char (две строки), что и отражено в сообщении об ошибке.

error LNK2019: unresolved external symbol "protected: void __thiscall CParamDlg::FillToolTips<int *,char * *>(int *,char * *)" (??$FillToolTips@PAHPAPAD@CParamDlg@@IAEXPAHPAPAD@Z) referenced in function "private: virtual int __thiscall CLayerParamsDlg::OnInitDialog(void)" (?OnInitDialog@CLayerParamsDlg@@EAEHXZ)

Думается размер передавать прийдется явно...

Не понял еще вот чего - откуда m_ToolTip в теле функции FillToolTips (см. стр. 2) и с чем его едят?
Не понятно также, почему членфункцию FillToolTips(ID, szTipText); вызываешь не через Объект класса.

И вообще зачем здесь шаблон, если в теле функции ты знаешь, что имеешь дело с int и строкой char'ов.

ЗЫ. нужы сырцы, тогда можно будет предложить решение

[USBLexus]

Я бы не стал заморачиваться если бы имел дело с int* и char* Передаваемые типы int[n] и char[n] поскольку n мне неизвестно сделал функцию в виде шаблона для работы с любым n только этот шаблон не инстанцируется и я хочу знать почему
sizeof(ID)/sizeof(int) как не странно работает поскольку тип у ID не int* а int[n]

[USBLexus]

Тот же самый код но без шаблона который РАБОТАЕТ
     //Определим все подсказки
      static int ID[] =
        {
      IDOK,
      IDCANCEL
        };

      static const char *szTipText[] =
      {
      "Внести изменения и закрыть окно",
      "Закрыть окно без учета изменений"
      };
      
      //Привязка подсказок
        for(int i=0; i<sizeof(ID)/sizeof(int); i++)
         m_ToolTip.AddTool(GetDlgItem(ID), szTipText);

[USBLexus]

Да и вообще какая разница в каком классе объявлена (1)? и тем более какая разница что такое m_ToolTip?

[michaelprog]

в отношении int [n] я бы согласился, если бы объявление выглядело так:

Код:

static int ID[2] =
        {
      IDOK,
      IDCANCEL
        };

Вопрос на засыпку: разве sizeof(int) в выражении sizeof(ID)/sizeof(int) не говорит о том, что тебе заведомо известно что типом элементов ID является int?

значит ли выражение " n мне неизвестно", что за формирование вызова отвечает клиентский код к формированию которого ты не имеель отношения?

PS. Исходники в студию

[michaelprog]

Да и вообще какая разница в каком классе объявлена (1)? и тем более какая разница что такое m_ToolTip?

Как это?!
Если m_ToolTip глобальная переменна, то возражения принимаются. однако некрасиво  это...

Возможно в том, что  FillToolTips объявлена вне класса, а реализация внутри CParamDlg и зарыта собака.

template <typename T1, typename T2>
void CParamDlg::FillToolTips(T1 ID, T2 szTipText)

[USBLexus]

Извини, но ты по моему не понимаешь о чем речь

[USBLexus]

Вопрос в передаче массива в шаблонную функцию все остальное неважно

[USBLexus]

> Вопрос на засыпку: разве sizeof(int) в выражении sizeof(ID)/sizeof(int) не говорит о том, что тебе заведомо известно что типом элементов ID >является int?

Понимаешь int[2] и например int[3] разные типы

[npak]

USBLexus,

Тело шаблона  CParamDlg::FillToolTips и вызов  FillToolTips(ID, szTipText); находятся в одном файле?  Если нет, то надо поместить в один или вынести тело шаблона в заголовочный файл

[USBLexus]

USBLexus,

Тело шаблона CParamDlg::FillToolTips и вызов FillToolTips(ID, szTipText); находятся в одном файле? Если нет, то надо поместить в один или вынести тело шаблона в заголовочный файл

Нет, не в одном. Ок завтра попробую

[USBLexus]

Класс который вызывает  FillToolTips(ID, szTipText);  наследует этот шаблон от базового класса

[Джон]

Чёт я не понял? Что ты под "типом" понимаешь?

Понимаешь int[2] и например int[3] разные типы

Это вообще не типы!!! Это массивы объектов типа int!  А ещё проще - это два куска памяти - один размером 8 байт, второй - 12 байт (на 32 разрядных системах).

[npak]

Чёт я не понял? Что ты под "типом" понимаешь?

Понимаешь int[2] и например int[3] разные типы

Это вообще не типы!!! Это массивы объектов типа int!  А ещё проще - это два куска памяти - один размером 8 байт, второй - 12 байт (на 32 разрядных системах).

С точки зрения транслятора с языка Си int[2] и int[3] являются именно типами (array type). См. стандарт языка Си, раздел 6.2.5

An array type describes a contiguously allocated nonempty set of objects with a
particular member object type, called the element type. Array types are
characterized by their element type and by the number of elements in the array. An
array type is said to be derived from its element type, and if its element type is T, the
array type is sometimes called ‘‘array of T’’. The construction of an array type from
an element type is called ‘‘array type derivation’’.

Указатели принадлежат совсем к другому виду типов, а именно ссылочным (reference) типам.

[USBLexus]

npak 

Да действительно перенес тело шаблона в заголовочный файл и все заработало Спасибо!

Обнаружил такую особенность если передавать массив int[2] в шаблон то он будет инстанцирован как int* а если передавать не сам массив а ссылку на массив int[2]& тогда он правильно инстанцируется с типом int[2] интересно с чем это связано?

[USBLexus]

Для массива получается что не вызывается конструктор копирования?

[Earnest]

Обнаружил такую особенность если передавать массив int[2] в шаблон то он будет инстанцирован как int* а если передавать не сам массив а ссылку на массив int[2]& тогда он правильно инстанцируется с типом int[2] интересно с чем это связано?

При передаче имени массива на самом деле передается адрес первого элемента - наследие С. А конструктор копирования, конечно, не вызывается. Слава богу.

[NetRaider]

Написал функцию шаблон:

template <typename T1, typename T2>
void FillToolTips(T1 ID, T2 szTipText);

template <typename T1, typename T2>
void CParamDlg::FillToolTips(T1 ID, T2 szTipText)
//
//Заполнение тултипов
//
{
   for(int i=0; i<sizeof(ID)/sizeof(int); ++i)
     m_ToolTip.AddTool(GetDlgItem(ID[i]), szTipText[i]);
}

Вызываю так:

   //Заполняем тултипы
    static int ID[] =
        {
      IDOK,
      IDCANCEL
        };

      static char *szTipText[] =
      {
      "Внести изменения и закрыть окно",
      "Закрыть окно без учета изменений"
      };

     FillToolTips(ID, szTipText);
...

Давай по порядку:

// ID здесь имеет тип int[2]
// А так так в С++ нельзя передавать массивы в ф-ии по значению,
// то применяется 'array-to-pointer' преобразование
FillToolTips(ID, szTipText);


// В результате чего тип T1 в шаблоне будет 'int*'
// и размер массива будет потерян
template <typename T1, typename T2>
void FillToolTips(T1 ID, T2 szTipText);

Для того чтобы в функции можно было узнать размер массива
можно передавать ссылку на массив:
template <typename T1, typename T2>
void FillToolTips(T1& ID, T2 szTipText);

тогда выражение 'sizeof(ID)/sizeof(int)' даст правильный результат

Второй, более правильный вариант - заставить компилятор выводить
размер массива самостоятельно:

template <typename T1, typename T2, size_t N>
void FillToolTips(const T1 (&ID)[N], T2 szTipText)
{}

Значение N будет выведено автоматически (но этот вариант поддерживают не все компиляторы, к числу которых относится VC6).

Обнаружил такую особенность если передавать массив int[2] в шаблон то он будет инстанцирован как int* а если передавать не сам массив а ссылку на массив int[2]& тогда он правильно инстанцируется с типом int[2] интересно с чем это связано?

см.выше

--------------------------------

Для массива получается что не вызывается конструктор копирования?

Маасивы никогда не передаются по значению и конструкторов копирования не имеют

При передаче имени массива на самом деле передается адрес первого элемента - наследие С.

Это не всегода верно. Что передаеться, на самом деле зависит от типа параметра функции.
Выше я обяъснял, что может передаваться как указатель на первый элемент, так и ссылка на массив.