关于strcpy_s源代码的问题

/*** 
*tcscpy_s.inl - general implementation of _tcscpy_s 
* 
*       Copyright (c) Microsoft Corporation. All rights reserved. 
* 
*Purpose: 
*       This file contains the general algorithm for strcpy_s and its variants. 
* 
****/
  
_FUNC_PROLOGUE 
errno_t __cdecl _FUNC_NAME(_CHAR *_DEST, size_t _SIZE, const _CHAR *_SRC) 
{ 
    _CHAR *p; 
    size_t available; 
  
    /* validation section */
    _VALIDATE_STRING(_DEST, _SIZE); 
    _VALIDATE_POINTER_RESET_STRING(_SRC, _DEST, _SIZE); 
  
    p = _DEST; 
    available = _SIZE; 
    while ((*p++ = *_SRC++) != 0 && --available > 0) 
    { 
    } 
  
    if (available == 0) 
    { 
        _RESET_STRING(_DEST, _SIZE); 
        _RETURN_BUFFER_TOO_SMALL(_DEST, _SIZE); 
    } 
    _FILL_STRING(_DEST, _SIZE, _SIZE - available + 1); 
    _RETURN_NO_ERROR; 
}

 

_VALIDATE_STRING用来验证字符串的合法性，是否以null结尾。

_VALIDATE_POINTER_RESET_STRING是记录字符串的原始信息，以便拷贝失败以后恢复。

当目的地空间不够时，会根据_VALIDATE_POINTER_RESET_STRING记录的信息恢复字符串，并且（在Debug模式下）以弹出对话框的形式报告错误。

_FILL_STRING完成在字符串最后加上null结束符的工作。

 

但是有一个疑问需要各位高手解答，为什么微软的源代码不首先判断源字符串的长度与目的空间长度，如果目的空间长度小于字符串的长度，就不拷贝，这样也就省去了记录原始字符串信息以及需要恢复信息的麻烦。