FOR文内で連番をつける

Question

バッチ処理でファイル移動時にファイル名を変更し、連番をつける。

set n=0
if exist "%TEST_FOLDER%" (
	rem もしフォルダ配下のファイルが存在するなら、そのファイル数だけループ
	for %%f in ("%TEST_FOLDER%") do (
		rem テスト03：「~nx」を使って、ファイル名のみを出力（拡張子あり） 
		rem 変更するファイル名を作成 
		set /a n=n+1
		set /a exp=1000+n

		IF %time:~0,2% lss 10 (
			set filenm=%date:~0,4%%date:~5,2%%date:~8,2%0%time:~1,1%%time:~3,2%%time:~6,2%%~n1%exp:~1%%.csv
		) else (
			set filenm=%date:~0,4%%date:~5,2%%date:~8,2%%time:~0,2%%time:~3,2%%time:~6,2%%~n1%exp:~1%%.csv
		
		)
	rem ファイル移動 
	move %filepath%%receivepath%%keypathSEC%%keypathyen%%%~nxf %filepath%%outputpath%%movepath%%filenm%

	)
)

連番をつけようとしますが、連番がうまくいきません。
必ずフォルダにファイル数の値になります。

例）
移動するファイルが、３個のファイルがある場合、以下になります。
20210707140359003.csv

対処方法があれば、ご教授お願いいたします。

Answer 1

これは、環境変数の%記号による中身の展開が、ifやforの実行に先立って行われるからです。
他の多くの言語の変数とは異なります。

set /?で表示されるヘルプの中程にありますが、

    set VAR=before
    if "%VAR%" == "before" (
        set VAR=after;
        if "%VAR%" == "after" @echo If you see this, it worked
    )

というコードは、if文実行前に%VAR%がbeforeに展開されます。つまり、上記は、

    set VAR=before
    if "before" == "before" (
        set VAR=after
        if "before" == "after" @echo If you see this, it worked
    )

と等価です。これと同じ事が起こっています。

解決策としては、3つありますが、案1が変更が簡単です。
案１：set /?にある「遅延環境変数展開」を使う（setlocal enabledelayedexpansionを宣言した上で、%を!に書き換える）
案２：ifやforの中身をサブルーチンに分離して、callでそれを呼び出す
案３：他の一部の言語にあるeval相当の機能であるcallを使って2回評価する

Comments

[otn]

若干気になるのが、環境変数TIMEを複数箇所で参照していますが、参照と参照の合間で秒が変化した場合も大丈夫でしょうか？
%TIME%だと大元のif文実行前に一度に展開されるので、おそらく同じ時刻（絶対に同じ時刻と保証している記述は見たことないですが）だと思いますが、!TIME!だとその時点の時刻なので。

普通は、必要な時点で set T=%TIME% して、以降では %T% を参照します。