Manacher算法通过在原字符串S的每个字符之间以及字符串的首尾插入一个特殊字符（通常为'#'）来构造新的字符串T，这样无论原字符串S的长度是奇数还是偶数，T的长度都变为2*len(S)+1，其中len(S)为S的长度。这样做的目的是为了统一处理奇数长度和偶数长度的回文子串，使得算法可以一致地处理所有情况。因此，选项A是正确的。选项B、C和D都错误地描述了T的长度。