変数宣言の位置でコードの挙動が異なる原因

Question

ABC232-B Caesar Cipher（https://atcoder.jp/contests/abc232/tasks/abc232_b）
にて、自分の提出したコードが通らず、模範解答を参考にstringの宣言部分をループ内に入れたらACになったのですが、なぜ最初自分が提出したコードが弾かれてループ内に入れたらACになるのでしょうか...?
コードの概要は以下で、開発環境はAtCoderのコードテストです。
初心者の質問で申し訳ないのですが、お願いします。

#include <bits/stdc++.h>
#include <string>
#define _GLIBCXX_DEBUG
#define rep(i, n) for (int i = 0; i < (int)(n); i++)

using namespace std;

int main(){
  string s,t;
  cin>>s>>t;
  bool flag=false;
  //string m=s;　ここで宣言をしたらWA
  rep(k,26){
    //string m=s;　ここで宣言をしたらAC
    rep(i,s.size()){
      m.at(i)='a'+(m.at(i)+k)%26;
    }
    if(t==m)
      flag=true;
  }
  if(flag)
    cout<<"Yes"<<endl;
  else
    cout<<"No"<<endl;
    
}

Answer 1

正解が「kが2のときにt==mになる」だとすると、ループ外で m を宣言した場合、

• kが1のとき、m は s の各文字に 1 を足したものになる。
• kが2のとき、m は ↑の結果にさらに 2 を足したものになる。つまり、s の各文字に 3 を足したものになる。
• よって、kが2のときに t==m にならない

と、間違った結果になります。

Comments

[ALPHABET_]

具体的な説明ありがとうございます、わかりやすかったのでBAにさせて頂きました！

Answer 2

宣言の位置は関係ないです。いつ代入するかによる違いです。

  bool flag=false;
  string m; // 宣言
  m=s; // 代入
  rep(k,26){
    rep(i,s.size()){

と、

  bool flag=false;
  string m; // 宣言
  rep(k,26){
    m=s;　// 代入
    rep(i,s.size()){

という違う処理なので、結果も違います。