编译器会展开此循环吗？
|
我正在创建一个多维矢量（数学矢量），其中允许基本的数学运算+，-，/，*，=。模板有两个参数，一个是类型（int，float等），另一个是向量的大小。目前，我正在通过for循环应用操作。现在考虑到在编译时就知道大小，编译器会展开循环吗？如果没有，有没有办法在没有（或最小）性能损失的情况下展开它？
template <typename T, u32 size>
class Vector
{
public:
// Various functions for mathematical operations.
// The functions take in a Vector<T, size>.
// Example:
void add(const Vector<T, size>& vec)
{
for (u32 i = 0; i < size; ++i)
{
values[i] += vec[i];
}
}
private:
T values[size];
};
没有找到相关结果
已邀请:
6 个回复
阀傻
Vector<int, 16> a, b; Vector<int, 65536> c, d; asm(\"xxx\"); // marker a.Add(b); asm(\"yyy\"); // marker c.Add(d); asm(\"zzz\"); // marker并查看disasmxxx # 0 \"\" 2 #NO_APP movdqa 524248(%rsp), %xmm0 leaq 524248(%rsp), %rsi paddd 524184(%rsp), %xmm0 movdqa %xmm0, 524248(%rsp) movdqa 524264(%rsp), %xmm0 paddd 524200(%rsp), %xmm0 movdqa %xmm0, 524264(%rsp) movdqa 524280(%rsp), %xmm0 paddd 524216(%rsp), %xmm0 movdqa %xmm0, 524280(%rsp) movdqa 524296(%rsp), %xmm0 paddd 524232(%rsp), %xmm0 movdqa %xmm0, 524296(%rsp) #APP # 36 \"1.cc\" 1 yyy # 0 \"\" 2 #NO_APP leaq 262040(%rsp), %rdx leaq -104(%rsp), %rcx xorl %eax, %eax .p2align 4,,10 .p2align 3 .L2: movdqa (%rcx,%rax), %xmm0 paddd (%rdx,%rax), %xmm0 movdqa %xmm0, (%rdx,%rax) addq $16, %rax cmpq $262144, %rax jne .L2 #APP # 38 \"1.cc\" 1 zzz浆错
嘘崇蔡对
typedef unsigned u32; // or something similar template <typename T, u32 size> class Vector { // need to use an inner class, because member templates of an // unspecialized template cannot be explicitly specialized. template<typename Vec, u32 index> struct Inner { static void add(const Vec& a, const Vec& b) { a.values[index] = b.values[index]; // triggers recursive instantiation of Inner Inner<Vec, index-1>::add(a,b); } }; // this specialization terminates the recursion template<typename Vec> struct Inner<Vec, 0> { static void add(const Vec& a, const Vec& b) { a.values[0] = b.values[0]; } }; public: // PS! this function should probably take a // _const_ Vector, because the argument is not modified // Various functions for mathematical operations. // The functions take in a Vector<T, size>. // Example: void add(Vector<T, size>& vec) { Inner<Vector, size-1>::add(*this, vec); } T values[size]; };骇毖煽洁铂
#include \"myclass.hpp\" void doSomething(Vector<double, 3>& a, Vector<double, 3>& b) { a.add( b ); }#include \"myclass.hpp\" void doSomething(Vector<double, 3>& a, Vector<double, 3>& b) { a[0] += b[0]; a[1] += b[1]; a[2] += b[2]; }根据我的经验，当使用在编译时知道持续时间的循环时，默认情况下，GCC将展开不超过3个循环。使用会使它展开得更多。锯康
的值，等等）。 如果您真的想知道，请询问您的编译器：将其编译为汇编代码，其典型值为，并使用您实际使用的优化标志，然后检查结果。窝头菊