C++/EqualRange: Add lowerBound, upperBound; loop invarant\

Author: GHScan

C++/EqualRange/main.cpp

@@ -0,0 +1,55 @@
+#include "pch.h"
+
+#include <assert.h>
+
+#include <functional>
+
+template<typename IterT, typename T>
+IterT lowerBound(IterT begin, IterT end, const T& val) {
+    IterT last = end - 1;
+    if (val <= *begin) return begin;
+    if (val > *last) return end;
+
+    while (last - begin > 1) {
+        IterT mid = begin + (last - begin) / 2;
+        if (val > *mid) begin = mid;
+        else last = mid;
+    }
+
+    return last;
+}
+template<typename IterT, typename T>
+IterT upperBound(IterT begin, IterT end, const T& val) {
+    IterT last = end - 1;
+    if (val < *begin) return begin;
+    if (val >= *last) return end;
+
+    while (last - begin > 1) {
+        IterT mid = begin + (last - begin) / 2;
+        if (val >= *mid) begin = mid;
+        else last = mid;
+    }
+
+    return last;
+}
+
+#define COUNT(a) (sizeof(a)/sizeof((a)[0]))
+
+int main() {
+    int a1[] = {3, };
+    int a2[] = {3, 4, 9, 9, 9, 9, };
+    int a3[] = {2, 2, 5, 7, 8, 10, 10, };
+    int a4[] = {1, 4, 5, 5, 5, 6, 9, 10};
+
+    for (int i = -2; i < 12; ++i) {
+        assert(lowerBound(a1, a1 + COUNT(a1), i) == lower_bound(a1, a1 + COUNT(a1), i));
+        assert(lowerBound(a2, a2 + COUNT(a2), i) == lower_bound(a2, a2 + COUNT(a2), i));
+        assert(lowerBound(a3, a3 + COUNT(a3), i) == lower_bound(a3, a3 + COUNT(a3), i));
+        assert(lowerBound(a4, a4 + COUNT(a4), i) == lower_bound(a4, a4 + COUNT(a4), i));
+
+        assert(upperBound(a1, a1 + COUNT(a1), i) == upper_bound(a1, a1 + COUNT(a1), i));
+        assert(upperBound(a2, a2 + COUNT(a2), i) == upper_bound(a2, a2 + COUNT(a2), i));
+        assert(upperBound(a3, a3 + COUNT(a3), i) == upper_bound(a3, a3 + COUNT(a3), i));
+        assert(upperBound(a4, a4 + COUNT(a4), i) == upper_bound(a4, a4 + COUNT(a4), i));
+    }
+}

C++/EqualRange/makefile

@@ -0,0 +1,59 @@
+.PHONY: all build rebuild rel_build rel_rebuild clean update_pch build_actions clean_actions
+all: build
+
+include makefile_var
+
+build_type = debug
+
+CXX =g++
+CXXFLAGS += -MMD
+CXXFLAGS += -Wall
+CXXFLAGS += $(foreach i,$(macro_defs),-D $(i))
+CXXFLAGS += $(foreach i,$(include_dirs),-I '$(i)')
+CXXFLAGS += $(foreach i,$(lib_dirs),-L '$(i)')
+CXXFLAGS += $(foreach i,$(lib_files),-l '$(i)')
+ifeq ($(use_cpp0x),1)
+CXXFLAGS += -std=c++0x	
+endif
+ifeq ($(build_dll),1)
+CXXFLAGS += -shared -fPIC
+endif
+ifeq ($(build_type),debug)
+CXXFLAGS += -g
+else
+CXXFLAGS += -O3 -DNDEBUG
+endif
+ifeq ($(do_profiling),1) 
+CXXFLAGS += -pg
+endif
+
+srcs = $(wildcard *.cpp)
+objs = $(srcs:.cpp=.o)
+all_deps = $(srcs:.cpp=.d)
+exist_deps = $(wildcard *.d)
+not_exist_deps = $(filter-out $(exist_deps), $(all_deps))
+pch_file =pch.h
+
+build: build_actions update_pch main
+rebuild: clean
+	$(MAKE) build
+rel_build: 
+	$(MAKE) build -e build_type=release
+rel_rebuild: clean
+	$(MAKE) rel_build
+clean: clean_actions
+	rm -f main $(objs) $(all_deps) $(pch_file).gch gmon.out
+update_pch: $(pch_file).gch
+
+main: $(objs)
+	$(CXX) -o $@ $(objs) $(CXXFLAGS) 
+
+$(pch_file).gch: $(pch_file)
+	$(CXX) $(filter-out -MMD,$(CXXFLAGS)) $<
+
+ifneq ($(exist_deps),)
+include $(exist_deps)
+endif
+ifneq ($(not_exist_deps),)
+$(not_exist_deps:.d=.o):%.o:%.cpp
+endif

C++/EqualRange/makefile_var

@@ -0,0 +1,14 @@
+do_profiling=0
+use_cpp0x=1
+build_dll=0
+macro_defs=
+include_dirs=
+lib_dirs=
+lib_files=
+
+.PHONY: 
+
+build_actions: 
+
+clean_actions:
+

C++/EqualRange/pch.h

@@ -0,0 +1,17 @@
+#ifndef PCH_H
+#define PCH_H
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include <memory.h>
+#include <time.h>
+#include <assert.h>
+
+#include <iostream>
+#include <vector>
+#include <string>
+#include <algorithm>
+using namespace std;
+
+#endif