我有以下测试代码:
// friendfunction.h
#include <iostream>
template<typename T, unsigned int... TDIM> class MyClass
{
template<typename T1, typename T0, unsigned int... TDIM0, class> friend inline const MyClass<T0, TDIM0...> myFunction(const T1& x, const MyClass<T0, TDIM0...>& y);
};
template<typename T0, typename T, unsigned int... TDIM, class = typename std::enable_if<std::is_fundamental<T0>::value>::type> inline const MyClass<T, TDIM...> myFunction(const T0& x, const MyClass<T, TDIM...>& y)
{
std::cout<<"It works !"<<std::endl;
return MyClass<T, TDIM...>(y);
}
// friendfunction.cpp
#include "friendfunction.h"
int main(int argc, char *argv[])
{
MyClass<double, 3, 3> myClass;
myFunction(10, myClass);
return 0;
}
使用 g++ (4.6.1) 我编译:
g++ -Wall -Wextra -Winline -Wno-unused -O3 -std=c++0x friendfunction.cpp -o friendfunction
与英特尔 ICPC (12.1.0 20111011) 一起:
icpc -Wall -Wno-unused -O3 -std=c++0x friendfunction.cpp -o friendfunction
使用 g++ 我没有错误也没有警告,但是使用 Intel C++ 我有以下警告:
friendfunction.h(5): warning #2922: template parameter "<unnamed>" cannot be used because it follows a parameter pack and cannot be deduced from the parameters of function template "myFunction"
template<typename T1, typename T0, unsigned int... TDIM0, class> friend inline const MyClass<T0, TDIM0...> myFunction(const T1& x, const MyClass<T0, TDIM0...>& y);
有人有避免这种情况的解决方案吗?
此外,您是否发现友元函数的语法完全正常/安全,或者您是否认为它会在某些奇怪的情况下产生错误?
最佳答案
只是猜测,但似乎 icpc 希望参数包是最后一个模板参数。如果包中的可变参数无法与包后面的另一个参数区分开来,那么这是合理的,恕我直言。但在你的情况下,可变参数是整数,下一个是类类型,所以看起来 icpc 弄错了......