fork download

copy

#include <iostream>
#include <type_traits>
using namespace std;
 
template <typename... Types>
class Test
{
public:
    template <typename... Ts>
    void Func(Ts...)
    {
        static_assert(sizeof...(Ts) == sizeof...(Types), "");
        static_assert(std::conjunction<std::is_same<Ts, int>...>{}, "");
    }
};
 
 
int main() {
	Test<string, bool, long> myTest; // Three types
myTest.Func(905, 36, 123315); // Three arguments, but always of type int.
	return 0;
}

prog.cpp: In member function 'void Test<Types>::Func(Ts ...)':
prog.cpp:13:23: error: 'conjunction' is not a member of 'std'
         static_assert(std::conjunction<std::is_same<Ts, int>...>{}, "");
                       ^
prog.cpp:13:61: error: expected primary-expression before '...' token
         static_assert(std::conjunction<std::is_same<Ts, int>...>{}, "");
                                                             ^
prog.cpp:13:61: error: expected ',' before '...' token
prog.cpp:13:61: error: expected string-literal before '...' token
prog.cpp:13:61: error: expected ')' before '...' token

Standard output is empty