// 1 filename:cpp2011-3-4-3-2.cpp
// ver 0.1 June.12, 2014
//
// 2 original examples and/or notes:
// (c) ISO/IEC JTC1 SC22 WG21 N3242, April 12, 2011
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf
// 3 Basic concepts.3.4 Name lookup 3.4.3 Qualified name lookup 3.4.3.2 Namespace members
//
// 3 compile and output mechanism:
// (c) Dr. OGAWA Kiyoshi, kaizen at gifu-u.ac.jp,
//
// 4 compile errors and/or warnings:
// 4.1(c) Apple LLVM version 5.1 (clang-503.0.40) (based on LLVM 3.4svn)
// Target: x86_64-apple-darwin13.2.0,  Thread model: posix
// Command/Options: c++ -std=c++11 -stdlib=libc++ -Wall cpp2011-3-4-3-2.cpp 
// (c) LLVM 2003-2009 University of Illinois at Urbana-Champaign.

// 4.2. g++-4.9 (GCC) 4.9.0 20131229 (experimental)
// Copyright (C) 2013 Free Software Foundation, Inc.
// This is free software; see the source for copying conditions.  There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
// http://gcc.gnu.org/onlinedocs/gcc/Standards.html
// Command/Options: g++-4.9  -std=c++11  -Wall cpp2011-3-4-3-2.cpp 
// g++-4.9: error: unrecognized command line option '-stdlib=libc++'
// Configuration:brew install gcc49
//
// 4.3. Visual Studio Express 2013, 
// (c) Microsoft http://www.visualstudio.com/
// SPEC:
// Windows 7, .NET Framework
// (c) VMware, Inc.
// VMWare fusion 6
//
// 5. Hardware:  MacBook Pro, 
//(c) Intel http://ark.intel.com/products/37006/
//Core 2 Duo 2.53GHz, 8GB, 1067MHz DDR3
//
// 6. Special Thanks: Upper organizatios and 
// ITSCJ/IPSJ http://www.itscj.ipsj.or.jp/itscj_english/index.html
// Renesas Electronics Corporation.http://www.renesas.com/
// NPO SESSAME project, http://www.sessame.jp/workinggroup/WorkingGroup3/
// Toyo Corporation, http://www.toyo.co.jp/English/
// Japan Standard Association, http://bit.ly/1lzykg1
// NPO TOPPERS project, https://www.toppers.jp/asp-d-download.html
// Daido Universcity, http://www.daido-it.ac.jp/gakubugakka/computer/index.html
// WITZ Co.Ltd., http://www.witz-inc.co.jp/products/solution/solution.html
// SevenWise.co., http://www.7ws.co.jp/index.html
// TOYOTA Motor Corporation, http://toyota.jp/
// IT planning Inc., http://www.itpl.co.jp/en/index.html
// DENSO Corporation, http://www.globaldenso.com/en/
// Aisin Seiki co. Ltd., http://www.aisin.com/
// Spancion Inc., http://www.spansion.com/
// Yazaki Corporation, http://www.yazaki-group.com/global/
// Pananosic Corporation, http://www.panasonic.net/
// SWEST: Summer Workshop on Embedded System Technologies , http://swest.toppers.jp
// CEST: Consortium for Embedded System Technology, http://www.ertl.jp/CEST/
// JUSE: Union of Japanese Scientists and Engineers, http://www.juse.or.jp/e/
// OSC:Open Source Conference, http://www.ospn.jp/

#include <iostream>
//#include <string>
//#include <cassert>

using namespace std;

namespace Y {
void f(float);
void h(int);
}
namespace Z {
void h(double);
}
void Z::h(double d){
	cout << d << std::endl;
}
namespace A {
using namespace Y;
void f(int);
void g(int);
int i;
}
void A::f(int i){
	cout << i << std::endl;
}
namespace B {
using namespace Z;
void f(char);
int i;
}
void B::f(char c){
	cout << i << std::endl;
}
namespace AB {
using namespace A;
using namespace B;
void g();
}
void AB::g(){
	cout <<"AB::g()" << std::endl;
}

void h()
{
AB::g(); // g is declared directly in AB,
// therefore S is { AB::g() } and AB::g() is chosen
AB::f(1); // f is not declared directly in AB so the rules are
// applied recursively to A and B;
// namespace Y is not searched and Y::f(float)
// is not considered;
// S is { A::f(int), B::f(char) } and overload
// resolution chooses A::f(int)
AB::f('c'); // as above but resolution chooses B::f(char)
//AB::x++; //error: x is not declared directly in AB, and
// is not declared in A or B , so the rules are
// applied recursively to Y and Z,
// S is { } so the program is ill-formed
//	AB::i++; // error: i is not declared directly in AB so the rules are
// applied recursively to A and B,
// S is { A::i , B::i } so the use is ambiguous
// and the program is ill-formed
AB::h(16.8); // h is not declared directly in AB and
// not declared directly in A or B so the rules are
// applied recursively to Y and Z,
// S is { Y::h(int), Z::h(double) } and overload
// resolution chooses Z::h(double)
}

//
namespace A1 {
int a;
}
namespace B1 {
using namespace A1;
}
namespace C1 {
using namespace A1;
}
namespace BC {
using namespace B1;
using namespace C1;
}
void f()
{
	BC::a++; // OK: S is { A::a, A::a }
	cout << BC::a << std::endl;
	}
namespace D1 {
using A1::a;
}
namespace BD {
using namespace B1;
using namespace D1;
}
void g()
{
BD::a++; // OK: S is { A::a, A::a }
}
//
namespace B2 {
int b;
}
namespace A2 {
using namespace B2;
int a;
}
namespace B2 {
using namespace A2;
}
void f2()
{
A2::a++; // OK: a declared directly in A, S is { A::a}
B2::a++; // OK: both A and B searched (once), S is { A::a}
A2::b++; // OK: both A and B searched (once), S is { B::b}
	B2::b++; // OK: b declared directly in B, S is { B::b}
	cout << A2::a << B2::a << A2::b << B2::b << std::endl;	
}

int main() {
	cout   << A2::b << & ::A2::a << std::endl;	
	f();
	f2();
	cout << "3 Basic concepts.3.4 Name lookup 3.4.3 Qualified name lookup 3.4.3.2 Namespace members"<<std::endl;	

return 0;
}
// 1 output
// 00x104cf90d8
// 1
// 2222
// 3 Basic concepts.3.4 Name lookup 3.4.3 Qualified name lookup 3.4.3.2 Namespace members