MinGW и указатель как аргумент шаблона

[System]

Имеется следующий код:

Код

C++ (Qt)
template<class T, T t> class TmplTest
{
 
};
 
int var = 0;
 
int main()
{
	TmplTest<void*, nullptr>     tmplTest1;  // OK
	TmplTest<int*, &var>         tmplTest2;  // OK
	TmplTest<void*, (void*)(-1)> tmplTest3;  // FAIL in MinGW!!!
 
	return 0;
}
 

Код прекрасно компилируется в vc2013, но не в MinGW (mingw-builds i686-4.9.2-release-posix-sjlj-rt_v3-rev1). Выдаёт ошибку:

Код:

main.cpp: In function 'int main()':
main.cpp:14:29: error: '4294967295u' is not a valid template argument for 'void*' because it is not the address of a variable
  TmplTest<void*, (void*)(-1)> tmplTest3;  // FAIL!!!
                             ^
main.cpp:14:40: error: invalid type in declaration before ';' token
  TmplTest<void*, (void*)(-1)> tmplTest3;  // FAIL!!!                                ^

Это глюк или так и должно быть? И как для MinGW передать невалидный указатель?

[Пантер]

А нулевой указатель нельзя?(Не заметил nullptr)
Зачем вообще это нужно?

[System]

Это упрощённый пример. Нужно следующее:

Код

C++ (Qt)
template<typename HandleType = HANDLE,
         WINBOOL (WINAPI * destructor)(HandleType) = CloseHandle,
         HandleType defaultValue = INVALID_HANDLE_VALUE>
class UniqueHandle
{
...
}
 

Это - обёртка над дескрипторами Windows. INVALID_HANDLE_VALUE MinGW не жрёт, ругается.

[Swa]

Стандарт:

For C++ 11, non-type template arguments are restricted to the following (§14.3.2/1):

    A template-argument for a non-type, non-template template-parameter shall be one of:

        for a non-type template-parameter of integral or enumeration type, a converted constant expression (5.19) of the type of the template-parameter; or
        the name of a non-type template-parameter; or
        a constant expression (5.19) that designates the address of an object with static storage duration and external or internal linkage or a function with external or internal linkage, including function templates and function template-ids but excluding non-static class members, expressed (ignoring parentheses) as & id-expression, except that the & may be omitted if the name refers to a function or array and shall be omitted if the corresponding template-parameter is a reference; or
        a constant expression that evaluates to a null pointer value (4.10); or
        a constant expression that evaluates to a null member pointer value (4.11); or
        a pointer to member expressed as described in 5.3.1.

Т.е. аргументы шаблона должны существовать и быть константными на момент компиляции.

[System]

Мда... Получается, что можно только глобальную переменную или NULL? Мне это ограничение кажется несколько нелогичным.

То есть GCC более строго следует стандарту а VC менее строго и разрешает то, чего быть не должно?

Придётся извращаться через ULONG...

[Пантер]

То есть GCC более строго следует стандарту а VC менее строго и разрешает то, чего быть не должно?

А для тебя это новость? О_о

[System]

А для тебя это новость? О_о

Вообще-то да... 

[Пантер]

А для тебя это новость? О_о

Вообще-то да... 

У нас в команде из 6 человек на Линухе сидят двое (в том числе я). Частенько приходится вычищать ворнинги и ошибки сборки после того, как коллеги-виндузятники коммитят свой кот, собирающийся под студией.

[__Heaven__]

У нас в команде из 6 человек на Линухе сидят двое (в том числе я). Частенько приходится вычищать ворнинги и ошибки сборки после того, как коллеги-виндузятники коммитят свой кот, собирающийся под студией.

Не предлагали им clang?

[Пантер]

У нас в команде из 6 человек на Линухе сидят двое (в том числе я). Частенько приходится вычищать ворнинги и ошибки сборки после того, как коллеги-виндузятники коммитят свой кот, собирающийся под студией.

Не предлагали им clang?

Чувак, виндузятники-студийники. Какой шланг? Какая Мингва?

[__Heaven__]

Ну, втихоря сделать подлог toolchain