> デフォルト引数は関数定義を見ただけで定数に決まるものしか受け付けられない

そうか？
int func()
{
int a;
std::cin >> a; //絶対に定数になり得ない
return a;
}

void test(int arg = func())
{
}

int main()
{
test(); //OK. もちろん入力待ちをする
}