以下程序的执行结果是 #include < lostream >#include < stack >using nanespace std;void main( ){ stack< int> s;  s. push(1); s. push(2); s. push(3); s. push(4);  cout << "s.size:" < s.size() << ",s:";  while (!s. eapty())  { cout<s.top()<”;    s. pop();    cout < endl;} A: s. size; 3, s: 123 B: s. size: 3, s: 432 C: s. size: 4, s; 1234 D: s. size: 4, s: 4321