Thread: Typecasting, temporary variables and call by (constant) reference

When you typecast a variable, a temporary variable is created, right? Is the temporary variable constant (const) ?

My book says this:

Actual arguments must be type-compatible with the formal arguments, without the use of a typecast. This is required because a typecast generates a temporary variable and that temporary variable would become the actual argument. Then changes to the formal parameter in the invoked function would change the temporary variable (instead of the original), leading to hard-to-find bugs.

That sounds logical, but I'm having trouble compiling this:

Code:

#include <iostream>
using namespace std;

class Person {
	public:
		Person(const string &n): name(n) {
		}
		
		string name;
};

class Student: public Person {
	public:
		Student(const string &n): Person(n) {
		}
};

void changeName(Person &p, const string &n) {
	p.name = n;
}

int main() {
	Student s("Fred");
	changeName((Person)s, "Mark");

	cout << "Name: " << s.name << endl;

	return EXIT_SUCCESS;
}

Reaction of the compiler:

../main.cpp: In function `int main()':
../main.cpp:24: error: invalid initialization of non-const reference of type 'Person&' from a temporary of type 'Person'
../main.cpp:18: error: in passing argument 1 of `void changeName(Person&, const std:string&)'
mingw32-make.exe: *** [main.o] Error 1

The code doesn't make sense, I know, but I just wanted to create a temporary variable. Why won't this compile? Is the result of the typecast constant?

>> Is the temporary variable constant

Basically, yes. You cannot pass a temporary to a function that takes a non-const reference, because the temporary will be changed (which has no real effects). In the example above, if you remove the cast, it will compile correctly because Student is type-compatible with Person (you can pass a Student to a function taking a Person reference without a cast because Student derives from Person).

When you type cast, you temporarily change the data type, to be compatible with the same data type as you are assigning to, or doing whatever you are doing to. At least I think so, it may be wrong.

Code:

int main(){

	int int_datatype = 20;
	char* char_datatype;

	char_datatype = int_datatype;

	return 0;
}

That code gives this error.

error C2440: '=' : cannot convert from 'int' to 'char *'
Conversion from integral type to pointer type requires reinterpret_cast, C-style cast or function-style cast

This code shows typecasting.

Code:

int main(){

	int int_datatype = 20;
	char* char_datatype;

	char_datatype = (char*)int_datatype;

	return 0;
}

Originally Posted by ChaosEngine

just as an aside you should prefer the C++ style casts (static_cast, reinterpret_cast, etc) to c casts. The problem with c-style casts is that they don't stand out in the code. It's easy to read a page of code and miss a casting bug with c-style casts. C++ casts are ugly and standout from the code.

according to bjarne
An ugly operation should have an ugly syntactic form.

You know considering this is the C++ programming section I should have said that, but to be honest I have never used C++ typecasts. So this is a first for me

Thanks ChaosEngine.

So the compiler is preventing me from doing something stupid (i.e. modifying a temporary variable instead of the original)?

That's a first. I thought C++ was very permissive by nature.

> I thought C++ was very permissive by nature.

just the opposite actually..

Still... it makes more sense that a compiler would give a warning in this case, instead of an error.

Maybe, but there just might be more complicated reasons to not allow that.

Besides, there is no reason to do it, so why allow it?