Czy C++ zezwala na normalne parametry po parametrach szablonu variadic?

Question

Według cppreference następujący kod jest legalny:

lock_guard(MutexTypes&... m, std::adopt_lock_t t); 

Jednakże po kod nie może zostać skompilowany z brzękiem 3,8 (-std = C++ 1Z)

template<typename... Args> 
void f(Args&&..., bool) 
{} 

int main() 
{ 
    f(1, 2, 3, true); // error! see below for details. 
} 

1>main.cpp(59,2): error : no matching function for call to 'f' 
1>   f(1, 2, 3, true); 
1>  ^
1> main.cpp(54,6) : note: candidate function not viable: requires 1 argument, but 4 were provided 
1> void f(Args&&..., bool) 
1>  ^
1> 1 error generated. 

Czy C++ zezwala na normalne parametry po parametrach wariancji?

Answer 1

Deklaracja funkcji w kodzie jest ważna, jednak odliczenie odliczenie nie działa poprawnie dla takich szablonów funkcji. Zauważ, że ten kod jest dobrze wykształcona i instancję specjalizację void f(int, int, int, bool):

template<typename... Args> 
void f(Args&&..., bool) {} 

int main() { 
    f<int, int, int>(1, 2, 3, true); 
} 

Należy zauważyć, że w C++ 17, MutexTypes... są parametry szablonu do samej klasy:

template <class... MutexTypes> class lock_guard; 

więc są znane i nie trzeba ich wydedukowywać. Zauważ, że konstruktora z adopt_lock_t nie można użyć do odrzucenia argumentu szablonu klasy C++ 17, ponieważ argument adopt_lock_t występuje po pakiecie parametrów. Gdyby komitet był przewidujący w C++ 11, argumenty byłyby umieszczane na początku, a nie na końcu, ale niestety teraz jest już za późno.