Специализация шаблонных функций C ++ с использованием TCHAR в Visual Studio 2005

TCHAR - это макрос, который ссылается на typedef для wchar_t или для char. К моменту создания экземпляров шаблонов макрос уже был заменен. В конечном итоге вы будете ссылаться либо на свой экземпляр шаблона для char, либо на экземпляр для wchar_t.

(То, что говорит @jwismar, правильно, но это не основная проблема с кодом).

Рассмотрим этот фрагмент кода

void foo(const int*& p);

int main() {
  int *p = 0;
  foo(p); // ERROR: cannot initialize `const int *&` with `int *`
}

Если вы попытаетесь его скомпилировать, это приведет к ошибке. Причина ошибки в том, что невозможно привязать ссылку типа const int *& к указателю типа int *. Это нарушит правила константной корректности.

Другой, меньший пример, иллюстрирующий ту же проблему.

int *p = 0;
const int *&rp = p; // ERROR: cannot initialize `const int *&` with `int *`

На самом деле это проблема и в вашем коде. Вы объявили свой шаблон с типом параметра const TCHAR*&

template <> Log& Log::operator<<( const TCHAR*& input )
{ printf("tchar ptr ref"); }

и ожидайте, что он будет вызван для аргумента типа TCHAR *

TCHAR* test5 = L"test5";
log << test5;

Это невозможно. Ваш шаблон не считается жизнеспособной функцией для вызова. Либо добавьте const к типу аргумента, либо удалите const из типа параметра. Или, может быть, избавиться от ссылки. (Почему вы объявляете параметр как ссылку на указатель?)

P.S. Может показаться удивительным, что вместо желаемой целевой функции компилятор вызывает шаблон

template <typename T> Log& Log::operator<<( const T& input )
{ printf("ref"); }

На первый взгляд может показаться, что компилятор делает то, что я назвал «невозможным». На самом деле компилятор делает совсем другое.

Последний шаблон создается с T равным TCHAR *. Каким образом, если вы внимательно расширите указанное выше объявление аргумента для T == TCHAR *, вы получите TCHAR *const &, а не const TCHAR *&. Это две совершенно разные вещи. Вполне возможно инициализировать TCHAR *const & ссылку указателем TCHAR *, что и делает компилятор в вашем случае.

Возвращаясь к моему простому примеру

int *p = 0;
const int *&rp1 = p; // ERROR: cannot initialize `const int *&` with `int *`
int *const &rp2 = p; // OK, no error here

A-HA!

Итак, я разбил проблему на самые мелкие части и обнаружил кое-что о порядке, в котором сопоставляются функции шаблона. Сначала я разбил программу на следующее:

// main.cpp
int main()
{
 Log log;
 wchar_t* test = L"test";
 log << test;
 return 0;
}

И // Log.h

class Log
{
  public:
   template <typename T> Log& operator<<( const T* x );
};

template <> Log& Log::operator<<( wchar_t* const & input );

И // Log.ccp

#include "Log.h"

template <> Log& Log::operator<<( const wchar_t* input )
{ printf("wchar_t ptr\n"); return *this; }

И, конечно же, моя специализация по шаблонам была названа. Когда я добавил еще одну специализацию в заголовок журнала, как это

template <typename T> Log& operator<<( const T& x );

Вместо этого компилятор начал сопоставление новой функции. Однако на этот раз я не включил определение шаблона, поэтому компоновщик пожаловался. Компоновщик показал следующую ошибку:

error LNK2019: unresolved external symbol "public: class Log & __thiscall Log::operator<<<wchar_t *>(wchar_t * const &)" (??$?6PA_W@Log@@QAEAAV0@ABQA_W@Z) referenced in function _main

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

wchar_t* const &

Указатель const, а не ссылка на указатель на константу! Итак, теперь моя программа работает. Я просто специализирую шаблон так:

template <> Log& Log::operator<<( wchar_t* const & input );

Спасибо всем за помощь.

Я думаю, что компилятор сбивает с толку отсутствие константности.

Пытаться

        const TCHAR* test5 = L"test5";

или даже правильнее

        const TCHAR* test5 = _T("test5");

Я думаю, это даст вам то, чего вы ожидаете.