Question about "substituti on failure is not an error" concept, SFINAE

[Aries Sun]

The following code can be compiled without error:

typedef char True; // sizeof(True) == 1
typedef struct { char a[2]; } False; // sizeof(False) 1
//...
template <typename TTrue isPtr( T * );
template <typename TFalse isPtr(T);

#define is_ptr( e ) (sizeof(isPtr(e ))==sizeof(True ))

int main() {
int *a;
cout << is_ptr(a) << endl;
}

why the following can compile:
int test();
int main() {
cout << sizeof(test);
}

[Aries Sun]

On Nov 29, 2:38 am, Aries Sun <sun.ar...@gmai l.comwrote:

The following code can be compiled without error:

typedef char True; // sizeof(True) == 1
typedef struct { char a[2]; } False; // sizeof(False) 1
//...
template <typename TTrue isPtr( T * );
template <typename TFalse isPtr(T);

#define is_ptr( e ) (sizeof(isPtr(e ))==sizeof(True ))

int main() {
int *a;
cout << is_ptr(a) << endl;

}

why the following can compile:
int test();
int main() {
cout << sizeof(test);

}

I got, because is call sizeof(isPtr(e) ), there is a "(" and ")"

[Joel Yliluoma]

On Wed, 28 Nov 2007 23:38:19 -0800 (PST), Aries Sun wrote:

The following code can be compiled without error:

typedef char True; // sizeof(True) == 1
typedef struct { char a[2]; } False; // sizeof(False) 1
//...
template <typename TTrue isPtr( T * );
template <typename TFalse isPtr(T);

#define is_ptr( e ) (sizeof(isPtr(e ))==sizeof(True ))

Note that normally you would do that like this:

#include <iostream>

struct true_type { enum { result = true }; };
struct false_type { enum { result = false }; };

template<typena me T>
struct is_pointer: public false_type
{
};

template<typena me T>
struct is_pointer<T*>: public true_type
{
};

int main()
{
std::cout << "char* : " << is_pointer<char *>::result << std::endl;
std::cout << "int : " << is_pointer<int> ::result << std::endl;
}

Because true_type and false_type do not have a common anchestor, you
can now also do something like this:

template<typena me T>
void handle_somethin g_do(const T& t, false_type); // for non-pointer cases
template<typena me T>
void handle_somethin g_do(const T& t, true_type); // for pointer cases

void handle_somethin g(const T& t)
{
handle_somethin g_do(t, is_pointer<T>() );
}

Especially doing a sizeof on a function's return value is somewhat
weird in my opinion. Does the function get called or not? If it
does, what does the function do? How should you implement it? Why
should it take room in the executable, when all that is done is
done at compile time?

--
Joel Yliluoma - http://iki.fi/bisqwit/

[tragomaskhalos]

On Nov 29, 9:15 am, Joel Yliluoma <[e-mail] wrote:

>
Especially doing a sizeof on a function's return value is somewhat
weird in my opinion. Does the function get called or not?

It doesn't get called - Alexandrescu uses this trick in one of his
books, and it seems fairly common in TMP.
Your way is more elegant though.

[Joel Yliluoma]

On Thu, 29 Nov 2007 04:29:39 -0800 (PST), tragomaskhalos wrote:

On Nov 29, 9:15 am, Joel Yliluoma <[e-mail] wrote:

>>
Especially doing a sizeof on a function's return value is somewhat
weird in my opinion. Does the function get called or not?

It doesn't get called - Alexandrescu uses this trick in one of his
books, and it seems fairly common in TMP.
Your way is more elegant though.

Thanks. My questions (which you only quoted one of) in the context
which I posted them were rhetorical by nature, though. They were
questions which may be posed when reading such code.

--
Joel Yliluoma - http://iki.fi/bisqwit/