ЮЖ>>typedef std::auto_ptr<T> ptr;
ЮЖ>>void foo(ptr a, ptr b);
ЮЖ>>//...
ЮЖ>>foo( ptr(new T), ptr(new T) );

T* v1 = new T;
T* v2 = new T; // 1

ptr p1(v1);
ptr p2(v2);

foo(p1, p2);

Отыскивать маленькие недостатки — издавна свойство умов, которые мало или вовсе не возвышались над посредственностью. Возвышенные умы молчат или же возражают против целого, а великие умы творят сами, никого не осуждая.

bool print(string text) // которая выводит текст, и возвращает ошибку через результат: true - ok, false - error
bool and(params bool[] vals) //обычный and от нескольких параметров

if (and(print("Hello"), print(" "), print("World"), print("!")))
{
  //ok
}
else
{
  //error
}

fastcall
Conventions entitled fastcall have not been standardized, and have been implemented differently, depending on the compiler vendor[1]. Typically fastcall calling conventions pass one or more arguments in registers which reduces the number of memory accesses required for the call.
Microsoft fastcall
Microsoft or GCC [2] __fastcall[3] convention (aka __msfastcall) passes the first two arguments (evaluated left to right) that fit into ECX and EDX. Remaining arguments are pushed onto the stack from right to left.
Borland fastcall
Evaluating arguments from left to right, it passes three arguments via EAX, EDX, ECX. Remaining arguments are pushed onto the stack, also left to right [4].
It is the default calling convention of Borland Delphi, where it is known as register.

ВВ>Это интересная проблема, побочные эффекты я, конечно, вообще упустил из вида

ВВ>С другой стороны даже если __stdcall вычисляет параметры справа налево, то, видимо, указанное поведение не будет таким уж непривычным для программиста?

typedef std::auto_ptr<T> ptr;
void foo(ptr a, ptr b);
//...
foo( ptr(new T), ptr(new T) );

AMD64 ABI convention

The calling convention of the AMD64 application binary interface[8] is followed on Linux and other non-Microsoft operating systems. The registers RDI, RSI, RDX, RCX, R8 and R9 are used for integer and pointer arguments while XMM0, XMM1, XMM2, XMM3, XMM4, XMM5, XMM6 and XMM7 are used for floating point arguments. As in the Microsoft x64 calling convention, additional arguments are pushed onto the stack and the return value is stored in RAX.

G>>Ну, если только компилятор не применяет эвристику, работающую на основе сигнатуры функции, не так ли?

PD>Нет, все равно нельзя.

The next optimization that LTCG adds is custom calling conventions. Normally, all functions are either cdecl, stdcall, or fastcall. With custom calling conventions, the back end has enough knowledge that it can pass more values in registers, and less on the stack. This usually cuts code size and improves performance.

// xxx.cpp

void foo(int a, CFoo *p)
{
   // do something
}

G>>Ну вот и славно. Хотя эти твои "я это знаю" — "ты этого не знаешь" — "как ты можешь говорить, что я чего-то не знаю?!" так забавны .

Тоже не обижаюсь, уже давно на твои инвективы в мой адрес. Но я бы не стал делать далеко идущие выводы насчет того, что я тут знаю, а что нет.

Post hoc, non propter hoc.
После не значит «вследствие»
После этого, следовательно вследствие этого (лат. post hoc ergo propter hoc) — логическая уловка, при которой отождествляется хронологическая, временная связь с причинно-следственной.

void dotimes(int count, lazy void exp)
{
    for (int i = 0; i < count; i++)
       exp();
}

int x = 0;
dotimes(10, writef(x++));

FR>void dotimes(int count, lazy void exp)
FR>{
FR>    for (int i = 0; i < count; i++)
FR>       exp();
FR>}
FR>

void dotimes(int count, Lazy<void> exp)
{
    for (int i = 0; i < count; i++)
       exp.Exec();
}