获取默认初始化（NOT值/零初始化）POD作为右值

Question

#include <iostream>

struct A {
    int x;
};

void foo(A a) {
    std::cout << a.x << std::endl;
}

int main() {
    A a;
    foo(a);  // -7159156; a was default-initialized
    foo(A());  // 0; a was value-initialized
}

Is it possible to pass an rvalue of type A to foo() without value-initializing it? Do we have to use either value-initialization or an lvalue?

What's the point of avoiding value-initialization when it "costs" no more than ten nanoseconds, you may ask. How about a situation like this: we are hunting for a bug in an legacy app caused by an uninitialized memory access with valgrind, and zero is NOT considered as a valid value for the app. Value initialization will prevent valgrind to spot the location of uninitialized memory access.

You may say printing an uninitialized value is an UB but my "real" use case is not limited to printing. My question should remain valid without it.

Answer 1

If i understand the question correctly you need a replacement for foo(A()); or similar cases where A() is called so that you don't have default initialization of members.

In that case one here is what i came up with:

• First i tried to add A() = default (but this might not work with older c++ standards) and i had interesting results . The exact sample you provided works in reverse printing first 0 and then some random number.

• Second i did not use A() = default; and just used a templated function

   template <class T> T make() { T tmp; return tmp; } 

  At the cost of a copy (or move) you can use it like foo(make<A>()) and get the result you wanted.