Остановка компиляции, когда шаблон используется/решен

Question

Этот MCVE:

#include <stdio.h> 
#include <time.h> 

#define MAX_LENGTH_DATETIME 25 

template <typename T> 
char * convertUnixTimeToChar(time_t unixTime, T) 
{ 
    (void) unixTime; 
    #pragma message "2nd parameter in convertUnixTimeToChar() must be of type <char [MAX_LENGTH_DATETIME]>." 
    exit(1); 
}; 

template<size_t N> 
char * convertUnixTimeToChar(time_t unixTime, char (&destination) [N]) 
{ 
    if (N < MAX_LENGTH_DATETIME) 
    { 
     printf("Overflow in convertUnixTimeToChar(): destination size [%ld] must be at least [%u]", N, MAX_LENGTH_DATETIME); 
     exit(1); 
    } 
    struct tm * tmNow; 
    tmNow = localtime(&unixTime); 
    strftime(destination, MAX_LENGTH_DATETIME - 1, "%Y-%m-%d %H:%M:%S", tmNow); 
    return destination; 
}; 

int main() 
{ 
    char buffer [MAX_LENGTH_DATETIME ]; 
    printf("Converted unix time=%s\n", convertUnixTimeToChar(1487585045, buffer)); 
} 

Мой вопрос:

Я хотел бы, чтобы отображаться сообщение #pragma message "2nd parameter in convertUnixTimeToChar() must be of type <char [MAX_LENGTH_DATETIME]>."из НКУ а компиляция только когда переменная типа char * была передана convertUnixTimeToChar(), потому что был разрешен первый шаблон. Теперь я всегда получаю это сообщение.

Другими словами, компиляция должна завершиться неудачей, если неправильный параметр передан, а не когда программа запущена [в этом случае я должен использовать printf вместо #pragma, чтобы получить уведомление].

Передача чего-то вроде char [25] разрешает второй шаблон, и все в порядке!

Есть ли способ, который я могу условно завершить компиляцию с сообщением об ошибке в случае, если шаблон был использован физически для генерации кода?

Собран с GCC 4.9.4 с помощью этих переключателей: -Wall -Werror -Wextra -std=c++11 -O3

Answer 1

еще раз, оптимальное решение «ничего не делать вообще».
Удаление полной перегрузки приведет к тому, что компилятор выдаст ошибку для любого параметра, который не может соответствовать char (&destination) [N].

Если вы хотите получить фантазии и добавить собственное сообщение об ошибке, вы можете использовать зависимую static_assert внутри захвата всех:

template <class..., class T> 
constexpr T &&depend(T &&o) { 
    return std::forward<T>(o); 
} 

template <typename T> 
char *convertUnixTimeToChar(time_t, T&&) 
{ 
    static_assert(depend<T>(false), "2nd parameter in convertUnixTimeToChar() must ..."); 
} 

Не то, что это, вероятно, не лучше решение, потому что вы возьмите всю перегрузку, установленную за convertUnixTimeToChar, и погрузите ее в жесткую ошибку, SFINAE проклят. Если кто-то хочет добавить перегрузки для своих типов, им придется убедиться, что их лучше, чем этот взрывной улов, который больше болит, чем выигрыш.