6 Loop invariant for shift · (c): The loop is initialised by int j=0; · (d): Since then dest == dest+j and src == src+j, the B part of the diagram ...
確定! 回上一頁