MISRA-C diary(C言語日誌)

cpp2011//20.7.1.2 unique_ptr for single objects

// 1 filename:cpp2011-20-7-1-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
// >20 General utilities library 20.7 Smart pointers 20.7.1 Class template unique_ptr 20.7.1.2 unique_ptr for single objects
//
// 3 compile and output mechanism:
// (c) Dr. OGAWA Kiyoshi, kaizen at gifu-u.ac.jp,
// http://sourceforge.jp/users/kaizen/pf/CPP2011/files/
// http://researchmap.jp/kaizen/MISRA-C/
//
// 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-20-7-1-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-20-7-1-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 <cstdlib>
//#include <assert.h>
//#include <array>
//#include <algorithm>
//#include <bitset>
//#include <cmath>
//#include <complex>
//#include <ccomplex>
//#include <cstdint>
//#include <cstring>
//#include <cassert>
//#include <exception>
//#include <iosfwd>
#include <iostream>
//#include <iterator>
//#include <initializer_list>
//#include <limits>
//#include <memory>
//#include <string.h>
//#include <tupple>
//#include <typeinfo>
//#include <type_traits>
//#include <utility>

namespace std {
template <class T, class D = default_delete<T>> class unique_ptr {
public:
typedef unique_ptr pointer;
typedef T element_type;
typedef D deleter_type;
typedef pointer A; 

// 20.7.1.2.1, constructors
constexpr unique_ptr() noexcept;
explicit unique_ptr(pointer const &p) noexcept;
unique_ptr(pointer p,  const A& d1) noexcept;
unique_ptr(pointer p, A&& d2) noexcept;
unique_ptr(unique_ptr&& u) noexcept;
constexpr unique_ptr(nullptr_t) : unique_ptr() { }
template <class U, class E>
unique_ptr(unique_ptr<U, E>&& u) noexcept;
template <class U>
unique_ptr(auto_ptr<U>&& u) noexcept;
// 20.7.1.2.2, destructor
~unique_ptr();
// 20.7.1.2.3, assignment
unique_ptr& operator=(unique_ptr&& u) noexcept;
template <class U, class E> unique_ptr& operator=(unique_ptr<U, E>&& u) noexcept;
unique_ptr& operator=(nullptr_t) noexcept;
// 20.7.1.2.4, observers
typename add_lvalue_reference<T>::type operator*() const;
pointer operator->() const noexcept;
pointer get() const noexcept;
deleter_type& get_deleter() noexcept;
const deleter_type& get_deleter() const noexcept;
explicit operator bool() const noexcept;
// 20.7.1.2.5 modifiers
pointer release() noexcept;
void reset(pointer p = pointer()) noexcept;
void swap(unique_ptr& u) noexcept;
// disable copy from lvalue
// unique_ptr(const unique_ptr&) = delete;
unique_ptr& operator=(const unique_ptr&) = delete;
};
}

using namespace std;

//type X;
// allocator_traits<X>;
// types A;
//A::const_pointer; 
//A::void_pointer;
//A::const_void_pointer;
unique_ptr<T, D>::pointer;

//20.7.1.2.1 unique_ptr constructors [unique.ptr.single.ctor]
constexpr unique_ptr() noexcept;
//
explicit unique_ptr(pointer p) noexcept;
//
//unique_ptr(pointer p, see below d1) noexcept;
//unique_ptr(pointer p, see below d2) noexcept;
//
class pointer A;

unique_ptr(pointer p, const A& d);
unique_ptr(pointer p, A&& d);
//
unique_ptr(pointer p, A& d);
unique_ptr(pointer p, A&& d);
//
unique_ptr(pointer p, const A& d);
unique_ptr(pointer p, const A&& d);
//
D d;
unique_ptr<int, D> p1(new int, D()); // D must be MoveConstructible
unique_ptr<int, D> p2(new int, d); // D must be Copyconstructible
unique_ptr<int, D&> p3(new int, d); // p3 holds a reference to d
unique_ptr<int, const D&> p4(new int, D()); // error: rvalue deleter object combined
// with reference deleter type
unique_ptr(unique_ptr&& u) noexcept;
//
template <class U, class E> unique_ptr(unique_ptr<U, E>&& u) noexcept;
//
template <class U> unique_ptr(auto_ptr<U>&& u) noexcept;
//
//20.7.1.2.2 unique_ptr destructor [unique.ptr.single.dtor]
~unique_ptr();
//
// 20.7.1.2.3 unique_ptr assignment [unique.ptr.single.asgn]
unique_ptr& operator=(unique_ptr&& u) noexcept;
//
template <class U, class E> unique_ptr& operator=(unique_ptr<U, E>&& u) noexcept;
//
unique_ptr& operator=(nullptr_t) noexcept;
//
//20.7.1.2.4 unique_ptr observers [unique.ptr.single.observers]
typename add_lvalue_reference<T>::type operator*() const;
//
pointer operator->() const noexcept;
//
pointer get() const noexcept;
//
deleter_type& get_deleter() noexcept;
const deleter_type& get_deleter() const noexcept;
//
explicit operator bool() const noexcept;
//
//20.7.1.2.5 unique_ptr modifiers [unique.ptr.single.modifiers]
pointer release() noexcept;
//
void reset(pointer p = pointer()) noexcept;
//
void swap(unique_ptr& u) noexcept;
//



int main() {
cout << "20 General utilities library 20.7 Smart pointers 20.7.1 Class template unique_ptr 20.7.1.2 unique_ptr for single objects"<<std::endl;
return 0;
}
// 1.error
// c++ -std=c++11 -stdlib=libc++ -Wall cpp2011-20-7-1-2.cpp
cpp2011-20-7-1-2.cpp:137:12: error: use of undeclared identifier 'T'
unique_ptr<T, D>::pointer;
           ^
cpp2011-20-7-1-2.cpp:137:19: error: extra qualification on member 'pointer'
unique_ptr<T, D>::pointer;
                ~~^
cpp2011-20-7-1-2.cpp:140:11: error: C++ requires a type specifier for all declarations
constexpr unique_ptr() noexcept;
~~~~~~~~~ ^
cpp2011-20-7-1-2.cpp:142:21: error: unknown type name 'pointer'
explicit unique_ptr(pointer p) noexcept;
                    ^
cpp2011-20-7-1-2.cpp:142:10: error: C++ requires a type specifier for all declarations
explicit unique_ptr(pointer p) noexcept;
~~~~~~~~ ^
cpp2011-20-7-1-2.cpp:147:15: error: variable has incomplete type 'class pointer'
class pointer A;
              ^
cpp2011-20-7-1-2.cpp:147:7: note: forward declaration of 'pointer'
class pointer A;
      ^
cpp2011-20-7-1-2.cpp:149:12: error: must use 'class' tag to refer to type 'pointer' in this scope
unique_ptr(pointer p, const A& d);
           ^
           class 
cpp2011-20-7-1-2.cpp:137:19: note: class 'pointer' is hidden by a non-type declaration of 'pointer' here
unique_ptr<T, D>::pointer;
                  ^
cpp2011-20-7-1-2.cpp:149:29: error: unknown type name 'A'
unique_ptr(pointer p, const A& d);
                            ^
cpp2011-20-7-1-2.cpp:149:1: error: C++ requires a type specifier for all declarations
unique_ptr(pointer p, const A& d);
^~~~~~~~~~
cpp2011-20-7-1-2.cpp:150:12: error: must use 'class' tag to refer to type 'pointer' in this scope
unique_ptr(pointer p, A&& d);
           ^
           class 
cpp2011-20-7-1-2.cpp:137:19: note: class 'pointer' is hidden by a non-type declaration of 'pointer' here
unique_ptr<T, D>::pointer;
                  ^
cpp2011-20-7-1-2.cpp:150:23: error: unknown type name 'A'
unique_ptr(pointer p, A&& d);
                      ^
cpp2011-20-7-1-2.cpp:150:1: error: C++ requires a type specifier for all declarations
unique_ptr(pointer p, A&& d);
^~~~~~~~~~
cpp2011-20-7-1-2.cpp:152:12: error: must use 'class' tag to refer to type 'pointer' in this scope
unique_ptr(pointer p, A& d);
           ^
           class 
cpp2011-20-7-1-2.cpp:137:19: note: class 'pointer' is hidden by a non-type declaration of 'pointer' here
unique_ptr<T, D>::pointer;
                  ^
cpp2011-20-7-1-2.cpp:152:23: error: unknown type name 'A'
unique_ptr(pointer p, A& d);
                      ^
cpp2011-20-7-1-2.cpp:152:1: error: C++ requires a type specifier for all declarations
unique_ptr(pointer p, A& d);
^~~~~~~~~~
cpp2011-20-7-1-2.cpp:153:12: error: must use 'class' tag to refer to type 'pointer' in this scope
unique_ptr(pointer p, A&& d);
           ^
           class 
cpp2011-20-7-1-2.cpp:137:19: note: class 'pointer' is hidden by a non-type declaration of 'pointer' here
unique_ptr<T, D>::pointer;
                  ^
cpp2011-20-7-1-2.cpp:153:23: error: unknown type name 'A'
unique_ptr(pointer p, A&& d);
                      ^
cpp2011-20-7-1-2.cpp:153:1: error: C++ requires a type specifier for all declarations
unique_ptr(pointer p, A&& d);
^~~~~~~~~~
cpp2011-20-7-1-2.cpp:155:12: error: must use 'class' tag to refer to type 'pointer' in this scope
unique_ptr(pointer p, const A& d);
           ^
           class 
cpp2011-20-7-1-2.cpp:137:19: note: class 'pointer' is hidden by a non-type declaration of 'pointer' here
unique_ptr<T, D>::pointer;
                  ^
fatal error: too many errors emitted, stopping now [-ferror-limit=]
20 errors generated.